A Gentzen calculus for nothing but the truth

DOI10.1007/s10992-015-9385-3zbMath1392.03032OpenAlexW1927935113WikidataQ59461608 ScholiaQ59461608MaRDI QIDQ312499

Stefan Wintein, Reinhard A. Muskens

Publication date: 15 September 2016

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

Full work available at URL: https://doi.org/10.1007/s10992-015-9385-3

zbMATH Keywords

exactly true logicBelnap-Dunn logicGentzen calculimultiple tree calculi

Mathematics Subject Classification ID

Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (7)

Structural rules for multi-valued logics ⋮ 40 years of FDE: an introductory overview ⋮ Interpolation methods for Dunn logics and their extensions ⋮ The value of the one value: \textit{exactly true logic} revisited ⋮ Two-sided sequent calculi for \textit{FDE}-like four-valued logics ⋮ Non-distributive relatives of ETL and NFL ⋮ The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalizing functional completeness in Belnap-Dunn logic
• On partial and paraconsistent logics
• The value of the four values
• Intuitive semantics for first-degree entailments and `coupled trees'
• Reasoning with logical bilattices
• Nothing but the truth
• Belnap's Four-Valued Logic and De Morgan Lattices
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• Sequents in many valued logic I

This page was built for publication: A Gentzen calculus for nothing but the truth