An invitation to new essays on Belnap-Dunn logic
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
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)
- 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
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)