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

DOI10.1007/s10992-023-09711-wOpenAlexW4385636560MaRDI QIDQ6054063

Andreas Kapsner, Umberto Rivieccio

Publication date: 24 October 2023

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-023-09711-w

zbMATH Keywords

exactly true logicFDEtruth value glutsdesignated valuessuper-belnap logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\)
• On all strong Kleene generalizations of classical logic
• A Gentzen calculus for nothing but the truth
• Some useful 16-valued logics: How a computer network should think
• On axiomatizing Shramko-Wansing's logic
• The value of the four values
• An algebraic view of super-Belnap logics
• Cut elimination, identity elimination, and interpolation in super-Belnap logics
• First-degree entailment and its relatives
• Interpolation methods for Dunn logics and their extensions
• Characterizing finite-valuedness
• Nothing but the truth
• Four-valued logics of truth, nonfalsity, exact truth, and material equivalence
• Hilbert-style axiomatization of first-degree entailment and a family of its extensions
• The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
• FDE as the One True Logic
• FDE as a Base for Constructive Logic
• Algebraizable logics
• The Trilattice of Constructive Truth Values
• An infinity of super-Belnap logics
• Exactly true and non-falsity logics meeting infectious ones
• The Strict/Tolerant Idea and Bilattices
• New Essays on Belnap-Dunn Logic
• Caracterisation des algèbres de Nelson par des egalités, I
• THE LATTICE OF SUPER-BELNAP LOGICS

This page was built for publication: The value of the one value: \textit{exactly true logic} revisited