An invitation to new essays on Belnap-Dunn logic

DOI10.1007/978-3-030-31136-0_1MaRDI QIDQ3305604zbMATH OpenOpenAlexFDO

Authors Hitoshi Omori, Heinrich Wansing

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

bilatticesparaconsistent logicdialetheismexactly true logicrelevance 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) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Paraconsistent logics (03B53) History of mathematical logic and foundations (03-03)

Recommendations

• FDE as the one true logic
• New essays on Belnap-Dunn logic
• 40 years of FDE: an introductory overview
• An algebraic view of super-Belnap logics
• Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn

Cites work

• scientific article; zbMATH DE number 5510996 (Why is no real title available?)
• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• scientific article; zbMATH DE number 1749203 (Why is no real title available?)
• scientific article; zbMATH DE number 6157349 (Why is no real title available?)
• scientific article; zbMATH DE number 6407640 (Why is no real title available?)
• 40 years of FDE: an introductory overview
• A Note on Goddard and Routley's Significance Logic
• Connexive modal logic
• Constructible falsity
• Constructible falsity and inexact predicates
• Constructive negations and paraconsistency
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• Dual-Belnap logic and anything but falsehood
• First-degree entailment and its relatives
• Intuitive semantics for first-degree entailments and `coupled trees'
• Logics and falsifications. A new perspective on constructivist semantics
• Modal logics with Belnapian truth values
• Negation by iteration
• Negation on the Australian plan
• Nothing but the truth
• On Ignorance and Contradiction Considered as Truth-Values
• On contra-classical variants of Nelson logic \textbf{N4} and its classical extension
• Plurivalent logics
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Reasoning with logical bilattices
• 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
• The Trilattice of Constructive Truth Values
• The logic of information structures
• There is more to negation than modality
• Truth and falsehood. An inquiry into generalized logical values

Cited in

(2)

• New essays on Belnap-Dunn logic
• FDE as the one true logic

This page was built for publication: An invitation to new essays on Belnap-Dunn logic

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