A Kripke-style semantics for R-mingle using a binary accessibility relation
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3212008 (Why is no real title available?)
- scientific article; zbMATH DE number 3222098 (Why is no real title available?)
- A semantical analysis of implicational system I and of the first degree of entailment
- A semantical study of constructible falsity
- Algebraic Completeness Results for Dummett's LC and Its Extensions
- Algebraic completeness results for R-mingle and its extensions
- Completeness of relevant quantification theories
- Intuitive semantics for first-degree entailments and `coupled trees'
- R-Mingle and beneath. Extensions of the Routley-Meyer semantics for R
- Semantical analyses of propositional systems of Fitch and Nelson
Cited in
(25)- Two pretabular linear extensions of relevance logic R
- Relation algebras of Sugihara, Belnap, Meyer, and Church
- Logical foundations of evidential reasoning with contradictory information
- The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
- Current trends in substructural logics
- Poset products as relational models
- An algebraic view of super-Belnap logics
- Pecularities of some three- and four-valued second order logics
- Quantification and RM
- Correia semantics revisited
- A simple Henkin-style completeness proof for Gödel 3-valued logic G3
- Idempotent residuated structures: Some category equivalences and their applications
- A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic
- R-Mingle is Nice, and so is Arnon Avron
- THE LATTICE OF SUPER-BELNAP LOGICS
- The completeness of S
- IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
- On three-valued presentations of classical logic
- Inter-model connectives and substructural logics
- Algebraic Kripke-style semantics for relevance logics
- A category equivalence for odd Sugihara monoids and its applications
- A note on the decidability of a strong relevant logic
- Categories of models of \(\mathbf{R}\)-mingle
- Two, three, four, infinity: the path to the four-valued logic and beyond
- RELEVANCE LOGICS AND RELATION ALGEBRAS
This page was built for publication: A Kripke-style semantics for R-mingle using a binary accessibility relation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1226480)
