Four-valued logics of truth, nonfalsity, exact truth, and material equivalence

DOI10.1215/00294527-2020-0025zbMath1489.03007arXiv2111.09978OpenAlexW3117619566MaRDI QIDQ1981990

Adam Přenosil

Publication date: 7 September 2021

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2111.09978

zbMATH Keywords

abstract algebraic logicfour-valued logicnonclassical logicparaconsistent logicexactly true logicBelnap-Dunn logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53) Abstract algebraic logic (03G27)

Related Items (1)

The value of the one value: \textit{exactly true logic} revisited

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Implicational classes of De Morgan lattices
• Intuitive semantics for first-degree entailments and `coupled trees'
• Nothing but the truth
• The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
• Some characterization theorems for infinitary universal Horn logic without equality
• Belnap's Four-Valued Logic and De Morgan Lattices
• An infinity of super-Belnap logics
• On Priest's logic of paradox
• Lattices With Involution

This page was built for publication: Four-valued logics of truth, nonfalsity, exact truth, and material equivalence