The value of the one value: \textit{exactly true logic} revisited
From MaRDI portal
Publication:6054063
Recommendations
- A note on the logic of \textit{una tantum} truth
- \([0,1]\)-valued logic: A natural generalization of Boolean logic
- The expressive unary truth functions of n-valued logic
- On density of truth of the intuitionistic logic in one variable
- scientific article; zbMATH DE number 201040
- The logic of generalized truth values and the logic of bilattices
- Truth-value semantics for a logic of existence
- Some Remarks Concerning Many-Valued Propositional Logics
- Many-valued logics and Suszko's thesis revisited
- Many-valuedness from a universal logic perspective
Cites work
- A Gentzen calculus for nothing but the truth
- Algebraizable logics
- An algebraic view of super-Belnap logics
- An infinity of super-Belnap logics
- Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\)
- Caracterisation des algèbres de Nelson par des egalités, I
- Characterizing finite-valuedness
- Cut elimination, identity elimination, and interpolation in super-Belnap logics
- Dual-Belnap logic and anything but falsehood
- Exactly true and non-falsity logics meeting infectious ones
- FDE as a Base for Constructive Logic
- FDE as the one true logic
- First-degree entailment and its relatives
- Four-valued logics of truth, nonfalsity, exact truth, and material equivalence
- Hilbert-style axiomatization of first-degree entailment and a family of its extensions
- scientific article; zbMATH DE number 3648682 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 6157349 (Why is no real title available?)
- Interpolation methods for Dunn logics and their extensions
- New essays on Belnap-Dunn logic
- Nothing but the truth
- On all strong Kleene generalizations of classical logic
- On axiomatizing Shramko-Wansing's logic
- Some useful 16-valued logics: How a computer network should think
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
- THE LATTICE OF SUPER-BELNAP LOGICS
- The strict/tolerant idea and bilattices
- The Trilattice of Constructive Truth Values
- The value of the four values
Cited in
(3)
This page was built for publication: The value of the one value: \textit{exactly true logic} revisited
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6054063)
