A Kripke-style semantics for R-mingle using a binary accessibility relation
From MaRDI portal
Publication:1226480
DOI10.1007/BF02120878zbMath0328.02010OpenAlexW2084171043MaRDI QIDQ1226480
Publication date: 1976
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02120878
Related Items (24)
THE LATTICE OF SUPER-BELNAP LOGICS ⋮ Current trends in substructural logics ⋮ IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 ⋮ Pecularities of some three- and four-valued second order logics ⋮ Correia semantics revisited ⋮ RELEVANCE LOGICS AND RELATION ALGEBRAS ⋮ An algebraic view of super-Belnap logics ⋮ A category equivalence for odd Sugihara monoids and its applications ⋮ Relation algebras of Sugihara, Belnap, Meyer, and Church ⋮ A simple Henkin-style completeness proof for Gödel 3-valued logic G3 ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ Logical Foundations of Evidential Reasoning with Contradictory Information ⋮ Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond ⋮ Two pretabular linear extensions of relevance logic R ⋮ Quantification and RM ⋮ The completeness of S ⋮ A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic ⋮ Categories of models of \(\mathbf{R}\)-mingle ⋮ Idempotent residuated structures: Some category equivalences and their applications ⋮ Inter-Model Connectives and Substructural Logics ⋮ R-Mingle is Nice, and so is Arnon Avron ⋮ A note on the decidability of a strong relevant logic ⋮ The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics ⋮ Poset products as relational models
Cites Work
- Unnamed Item
- Unnamed Item
- Completeness of relevant quantification theories
- R-Mingle and beneath. Extensions of the Routley-Meyer semantics for R
- Semantical analyses of propositional systems of Fitch and Nelson
- Intuitive semantics for first-degree entailments and `coupled trees'
- A semantical analysis of implicational system I and of the first degree of entailment
- A semantical study of constructible falsity
- Algebraic completeness results for R-mingle and its extensions
- Algebraic Completeness Results for Dummett's LC and Its Extensions
This page was built for publication: A Kripke-style semantics for R-mingle using a binary accessibility relation
