Switch to: Citations

Add references

You must login to add references.
  1. Decidability of S4.1.Krister Segerberg - 1968 - Theoria 34 (1):7-20.
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • Propositional Logics Related to Heyting's and Johansson's.Krister Segerberg - 1968 - Theoria 34 (1):26-61.
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • (1 other version)Algebraic completeness results for R-mingle and its extensions.J. Michael Dunn - 1970 - Journal of Symbolic Logic 35 (1):1-13.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • (1 other version)Algebraic completeness results for r-Mingle and its extensions.J. Michael Dunn - 1970 - Journal of Symbolic Logic 35 (1):1-13.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • R-mingle and beneath. Extensions of the Routley-Meyer semantics for R.J. Michael Dunn - 1979 - Notre Dame Journal of Formal Logic 20:369.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Completeness of relevant quantification theories.Robert K. Meyer, J. Michael Dunn & Hugues Leblanc - 1974 - Notre Dame Journal of Formal Logic 15 (1):97-121.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • Intuitive semantics for first-degree entailments and 'coupled trees'.J. Michael Dunn - 1976 - Philosophical Studies 29 (3):149-168.
    Download  
     
    Export citation  
     
    Bookmark   241 citations  
  • A semantical study of constructible falsity.Richmond H. Thomason - 1969 - Mathematical Logic Quarterly 15 (16-18):247-257.
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • Algebraic Completeness Results for Dummett's LC and Its Extensions.J. Michael Dunn & Robert K. Meyer - 1971 - Mathematical Logic Quarterly 17 (1):225-230.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Semantical analyses of propositional systems of Fitch and Nelson.Richard Routley - 1974 - Studia Logica 33 (3):283 - 298.
    Download  
     
    Export citation  
     
    Bookmark   22 citations