A Kripke-style semantics for R-Mingle using a binary accessibility relation

This publication has 12 references indexed in Scilit:

• ${\rm R}$-mingle and beneath. Extensions of the Routley-Meyer semantics for ${\rm R}$.
  Notre Dame Journal of Formal Logic, 1979
• Intuitive semantics for first-degree entailments and ?coupled trees?
  Philosophical Studies, 1976
• Semantical analyses of propositional systems of Fitch and Nelson
  Studia Logica, 1974
• Completeness of relevant quantification theories.
  Notre Dame Journal of Formal Logic, 1974
• A semantical analysis of implicational systemI and of the first degree of entailment
  Mathematische Annalen, 1972
• Algebraic Completeness Results for Dummett's LC and Its Extensions
  Mathematical Logic Quarterly, 1971
• Algebraic completeness results for R-mingle and its extensions
  The Journal of Symbolic Logic, 1970
• A semantical study of constructible falsity
  Mathematical Logic Quarterly, 1969
• Propositional Logics Related to Heyting's and Johansson's
  Theoria, 1968
• A Philosophically Plausible Formal Interpretation of Intuitionistic Logic
  Indagationes Mathematicae, 1964