An Invitation to New Essays on Belnap-Dunn Logic

DOI10.1007/978-3-030-31136-0_1zbMath1469.03064OpenAlexW2997945218MaRDI QIDQ3305604

Heinrich Wansing, Hitoshi Omori

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_1

zbMATH Keywords

bilatticesrelevance logicdialetheismparaconsistent logicexactly true logicBelnap-Dunn logicfirst-degree entailmentRoutley startrilatticesDunn's semanticstautological entailmentconnexive logicconstructible falsitynon-falsity logicAmerican planAustralian plancatuṣkoṭinegation as a modal operator

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Modal logic (including the logic of norms) (03B45) History of mathematical logic and foundations (03-03) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Cites Work

• 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
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Some useful 16-valued logics: How a computer network should think
• Constructive negations and paraconsistency
• The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
• The logic of information structures
• 40 years of FDE: an introductory overview
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• First-degree entailment and its relatives
• There is more to negation than modality
• Intuitive semantics for first-degree entailments and `coupled trees'
• Reasoning with logical bilattices
• Nothing but the truth
• Negation on the Australian plan
• Logics and falsifications. A new perspective on constructivist semantics
• A Note on Goddard and Routley's Significance Logic
• Constructible falsity and inexact predicates
• Negation by iteration
• The Trilattice of Constructive Truth Values
• ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION
• On Ignorance and Contradiction Considered as Truth-Values
• Constructible falsity

This page was built for publication: An Invitation to New Essays on Belnap-Dunn Logic