Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond
From MaRDI portal
Publication:3305609
DOI10.1007/978-3-030-31136-0_6zbMath1469.03062OpenAlexW2997122523MaRDI QIDQ3305609
Publication date: 10 August 2020
Published in: New Essays on Belnap-Dunn Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-31136-0_6
relevance logicbilatticefirst-degree entailmentaboutness4-valued logictautological entailmentopinion tetrahedron
Logical aspects of lattices and related structures (03G10) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) History of Indian mathematics (01A32)
Related Items
Questions to Michael Dunn, A note on FDE ``all the way up, Valuation semantics for first-order logics of evidence and truth, First-order logics of evidence and truth with constant and variable domains, THE LOGIC OF INFORMATION IN STATE SPACES
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Truth and falsehood. An inquiry into generalized logical values
- On when a semantics is not a semantics: some reasons for disliking the Routley-Meyer semantics for relevance logic
- A note on FDE ``all the way up
- Some useful 16-valued logics: How a computer network should think
- The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
- A Kripke-style semantics for R-mingle using a binary accessibility relation
- Four-valued logic
- Intuitive semantics for first-degree entailments and `coupled trees'
- Logic on the Australian plan
- Partiality and its dual
- ``Four-valued semantics for the relevant logic R
- Contradictory information: too much of a good thing
- Homomorphisms of intensionally complemented distributive lattices
- The Semantics of First Degree Entailment
- Intensional models for first degree formulas
- Algebraic completeness results for R-mingle and its extensions
- A Theory of Causation: Causae Causantes (Originating Causes) as Inus Conditions in Branching Space-Times
- The Theory of Representation for Boolean Algebras