Switch to: References

Add citations

You must login to add citations.
  1. Shortest Axiomatizations of Implicational S4 and S.Zachary Ernst, Branden Fitelson, Kenneth Harris & Larry Wos - 2002 - Notre Dame Journal of Formal Logic 43 (3):169-179.
    Shortest possible axiomatizations for the implicational fragments of the modal logics S4 and S5 are reported. Among these axiomatizations is included a shortest single axiom for implicational S4—which to our knowledge is the first reported single axiom for that system—and several new shortest single axioms for implicational S5. A variety of automated reasoning strategies were essential to our discoveries.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A modal interpretation of three-valued logic.Peter W. Woodruff - 1974 - Journal of Philosophical Logic 3 (4):433 - 439.
    Download  
     
    Export citation  
     
    Bookmark  
  • On the structural completeness of some pure implicational propositional calculi.Tadeusz Prucnal - 1972 - Studia Logica 30 (1):45 - 52.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Basic properties of the equivalence.Jacek K. Kabziński - 1982 - Studia Logica 41 (1):17-40.
    In this paper we investigate some basic semantic and syntactic conditions characterizing the equivalence connective. In particular we define three basic classes of algebras: the class of weak equivalential algebras, the class of equivalential algebras and the class of regular equivalential algebras.Weak equivalential algebras can be used to study purely equivalential fragments of relevant logics and strict equivalential fragments of some modal logics. Equivalential algebras are suitable to study purely equivalential fragment of BCI and BCK logic. A subclass of the (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Principal type-schemes and condensed detachment.J. Roger Hindley & David Meredith - 1990 - Journal of Symbolic Logic 55 (1):90-105.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Twierdzenia o dedukcji dla implikacji zstępujących.Stanisław J. Surma - 1968 - Studia Logica 22 (1):61-77.
    Download  
     
    Export citation  
     
    Bookmark   1 citation