The value of the one value: \textit{exactly true logic} revisited
From MaRDI portal
Publication:6054063
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
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