Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond

DOI10.1007/978-3-030-31136-0_6zbMath1469.03062OpenAlexW2997122523MaRDI QIDQ3305609

J. Michael Dunn

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

zbMATH Keywords

relevance logicbilatticefirst-degree entailmentaboutness4-valued logictautological entailmentopinion tetrahedron

Mathematics Subject Classification ID

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