8 found
Sort by:
  1. 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  
  2. G. N. Georgacarakos (1979). Orthomodularity and Relevance. Journal of Philosophical Logic 8 (1):415 - 432.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. 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  
  4. 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  
  5. 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  
  6. 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  
  7. 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  
  8. 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