Two, three, four, infinity: the path to the four-valued logic and beyond

DOI10.1007/978-3-030-31136-0_6zbMATH Open1469.03062OpenAlexW2997122523MaRDI QIDQ3305609FDOQ3305609

Authors: 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

Recommendations

• The value of the four values
• Motivation and demotivation of a four-valued logic
• Contradictory information: too much of a good thing
• The \(B_{4}\)-valued propositional Belnap-Dunn logic
• Four-valued logic

zbMATH Keywords

bilatticerelevance logicfirst-degree entailmentaboutness4-valued logictautological entailmentopinion tetrahedron

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Logical aspects of lattices and related structures (03G10) History of Indian mathematics (01A32)

Cites Work

• Truth and falsehood. An inquiry into generalized logical values
• Some useful 16-valued logics: How a computer network should think
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• Four-valued logic
• Negation in relevant logics. (How I stopped worrying and learned to love the Routley star)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Semantics of First Degree Entailment
• The Theory of Representation for Boolean Algebras
• Intuitive semantics for first-degree entailments and `coupled trees'
• Contradictory information: too much of a good thing
• Title not available (Why is that?)
• A Theory of Causation: Causae Causantes (Originating Causes) as Inus Conditions in Branching Space-Times
• Title not available (Why is that?)
• Partiality and its dual
• ``Four-valued semantics for the relevant logic R
• Algebraic completeness results for R-mingle and its extensions
• Title not available (Why is that?)
• Title not available (Why is that?)
• On when a semantics is not a semantics: some reasons for disliking the Routley-Meyer semantics for relevance logic
• The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
• A comparative study of various model-theoretic treatments of negation: A history of formal negation
• Homomorphisms of intensionally complemented distributive lattices
• Title not available (Why is that?)
• A note on FDE ``all the way up
• Intensional models for first degree formulas
• Conditional reasoning with subjective logic
• Title not available (Why is that?)
• Logic on the Australian plan
• Title not available (Why is that?)

Cited In (23)

• A useful four-valued logic
• Belnap and Nāgārjuna on how computers and sentient beings should think: truth, trust and the catuṣkoṭi
• The number of logical values
• From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth
• Title not available (Why is that?)
• Questions to Michael Dunn
• Four valued semantics and the Liar
• Title not available (Why is that?)
• Four-valued logic
• Correspondence analysis for first degree entailment
• Title not available (Why is that?)
• A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
• Contradictory information: too much of a good thing
• A note on FDE ``all the way up
• Title not available (Why is that?)
• The logic of information in state spaces
• An infinity of super-Belnap logics
• Valuation semantics for first-order logics of evidence and truth
• Addendum to the paper 'Belnap's four-valued logic and De Morgan lattices'
• First-order logics of evidence and truth with constant and variable domains
• Bitopology and four-valued logic
• The \(B_{4}\)-valued propositional Belnap-Dunn logic
• Logic of computer networks

This page was built for publication: Two, three, four, infinity: the path to the four-valued logic and beyond

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3305609)