13 found
Sort by:
  1. Hermann Dishkant, G. N. Georgacarakos, R. J. Greechie, S. P. Gudder & Gary M. Hardegree (1983). The First Order Predicate Calculus Based on the Logic of Quantum Mechanics. Journal of Symbolic Logic 48 (1):206-208.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. G. N. Georgacarakos (1982). The semantics of minimal intuitionism. Logique Et Analyse 25:383.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  3. G. N. Georgacarakos (1980). Equationally Definable Implication Algebras for Orthomodular Lattices. Studia Logica 39 (1):5 - 18.
    The fact that it is possible to define three different material conditionals in orthomodular lattices suggests that there exist three different orthomodular logics whose conditionals are material conditionals and whose models are orthomodular lattices. The purpose of this paper is to provide equationally definable implication algebras for each of these material conditionals.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. G. N. Georgacarakos (1979). Orthomodularity and Relevance. Journal of Philosophical Logic 8 (1):415 - 432.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. G. N. Georgacarakos & R. Smith (1979). Elementary Formal Logic.
  6. G. N. Georgacarakos (1978). Dawson modelling, deontic logic and moral necessity. Logique Et Analyse 21 (82):165.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  7. G. N. Georgacarakos (1978). A Modal System Properly Independent of Both the Brouwerian System and $S4$. Notre Dame Journal of Formal Logic 19 (1):101-114.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. G. N. Georgacarakos (1978). A New Family of Modal Systems. Notre Dame Journal of Formal Logic 19 (2):271-281.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. G. N. Georgacarakos (1977). Semantics for S4.03. Notre Dame Journal of Formal Logic 18:504.
     
    My bibliography  
     
    Export citation  
  10. G. N. Georgacarakos (1977). Additional Extensions of ${\Rm S}4$. Notre Dame Journal of Formal Logic 18 (3):477-488.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. G. N. Georgacarakos (1977). Abnormal Worlds and the Non-Lewis Modal Systems. Notre Dame Journal of Formal Logic 18 (1):95-100.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. G. N. Georgacarakos (1977). Semantics for ${\Rm S}4.03$. Notre Dame Journal of Formal Logic 18 (3):504-506.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  13. G. N. Georgacarakos (1976). Semantics for $S4.04$, $S4.4$, and $S4.3.2$. Notre Dame Journal of Formal Logic 17 (2):297-302.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation