An invitation to new essays on Belnap-Dunn logic

DOI10.1007/978-3-030-31136-0_1zbMATH Open1469.03064OpenAlexW2997945218MaRDI QIDQ3305604FDOQ3305604

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

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

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)

Cites Work

• Title not available (Why is that?)
• Truth and falsehood. An inquiry into generalized logical values
• Some useful 16-valued logics: How a computer network should think
• The logic of information structures
• Title not available (Why is that?)
• The Trilattice of Constructive Truth Values
• Constructible falsity
• Intuitive semantics for first-degree entailments and `coupled trees'
• Reasoning with logical bilattices
• Nothing but the truth
• Constructive negations and paraconsistency
• Connexive modal logic
• Modal logics with Belnapian truth values
• Constructible falsity and inexact predicates
• On Ignorance and Contradiction Considered as Truth-Values
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• 40 years of FDE: an introductory overview
• First-degree entailment and its relatives
• Plurivalent logics
• Title not available (Why is that?)
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• Negation by iteration
• There is more to negation than modality
• Negation on the Australian plan
• On contra-classical variants of Nelson logic \textbf{N4} and its classical extension
• Logics and falsifications. A new perspective on constructivist semantics
• A Note on Goddard and Routley's Significance Logic
• Dual-Belnap logic and anything but falsehood

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)