Nothing but the truth
From MaRDI portal
Publication:1947033
DOI10.1007/s10992-011-9215-1zbMath1269.03027OpenAlexW2048528677MaRDI QIDQ1947033
Andreas Pietz, Umberto Rivieccio
Publication date: 11 April 2013
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-011-9215-1
incomplete datarelevant logicexactly true logicDe Morgan latticesfirst-degree entailmentBelnap's four-valued logicovercomplete data
Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (30)
THE LATTICE OF SUPER-BELNAP LOGICS ⋮ On all strong Kleene generalizations of classical logic ⋮ A Gentzen calculus for nothing but the truth ⋮ Representation of De Morgan and (semi-)Kleene lattices ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ An infinity of super-Belnap logics ⋮ The strong version of a sentential logic ⋮ 40 years of FDE: an introductory overview ⋮ 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 ⋮ The value of the one value: \textit{exactly true logic} revisited ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ Natural deduction for Fitting's four-valued generalizations of Kleene's logics ⋮ A deterministic weakening of Belnap-Dunn logic ⋮ Logics of upsets of De Morgan lattices ⋮ Four-Valued Logics BD and DM4: Expansions ⋮ Two-sided sequent calculi for \textit{FDE}-like four-valued logics ⋮ An Invitation to New Essays on Belnap-Dunn Logic ⋮ FDE as a Base for Constructive Logic ⋮ First-Degree Entailment and Structural Reasoning ⋮ Four-valued logics of truth, nonfalsity, exact truth, and material equivalence ⋮ A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information ⋮ Non-distributive relatives of ETL and NFL ⋮ Natural Deduction for Four-Valued both Regular and Monotonic Logics ⋮ The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins ⋮ Hilbert-style axiomatization of first-degree entailment and a family of its extensions ⋮ On Gluts in Mathematics and Science ⋮ Exactly true and non-falsity logics meeting infectious ones
Cites Work
This page was built for publication: Nothing but the truth
