Pages that link to "Item:Q1226480"
From MaRDI portal
The following pages link to A Kripke-style semantics for R-mingle using a binary accessibility relation (Q1226480):
Displaying 25 items.
- Current trends in substructural logics (Q266641) (← links)
- Correia semantics revisited (Q300562) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- A note on the decidability of a strong relevant logic (Q1066881) (← links)
- The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics (Q1069923) (← links)
- Quantification and RM (Q1238799) (← links)
- The completeness of S (Q1257470) (← links)
- A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic (Q1257471) (← links)
- Pecularities of some three- and four-valued second order logics (Q1632057) (← links)
- An algebraic view of super-Belnap logics (Q1685564) (← links)
- A category equivalence for odd Sugihara monoids and its applications (Q1934971) (← links)
- Poset products as relational models (Q2115284) (← links)
- Relation algebras of Sugihara, Belnap, Meyer, and Church (Q2210869) (← links)
- Categories of models of \(\mathbf{R}\)-mingle (Q2311212) (← links)
- A simple Henkin-style completeness proof for Gödel 3-valued logic G3 (Q2987717) (← links)
- Logical Foundations of Evidential Reasoning with Contradictory Information (Q3305428) (← links)
- Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond (Q3305609) (← links)
- R-Mingle is Nice, and so is Arnon Avron (Q5020167) (← links)
- IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 (Q5037525) (← links)
- Two pretabular linear extensions of relevance logic R (Q5156188) (← links)
- Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)
- Inter-Model Connectives and Substructural Logics (Q5259665) (← links)
- RELEVANCE LOGICS AND RELATION ALGEBRAS (Q5323794) (← links)
- THE LATTICE OF SUPER-BELNAP LOGICS (Q5880424) (← links)
- On three-valued presentations of classical logic (Q6638231) (← links)
