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

American planAustralian planBelnap-Dunn logicbilatticescatuṣkoṭiconnexive logicconstructible falsitydialetheismDunn's semanticsexactly true logicfirst-degree entailmentnegation as a modal operatornon-falsity logicparaconsistent logicrelevance logicRoutley startautological entailmenttrilattices

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) 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)

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

• 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
• 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?)
• 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 contra-classical variants of Nelson logic \textbf{N4} and its classical extension
• On Ignorance and Contradiction Considered as Truth-Values
• 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 logic of information structures
• The Trilattice of Constructive Truth Values
• There is more to negation than modality
• Truth and falsehood. An inquiry into generalized logical values

Cited in

(3)

• FDE as the one true logic
• New essays on Belnap-Dunn logic
• Relational patterns, partiality, and set lifting in modal semantics

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)