A Gentzen calculus for nothing but the truth

DOI10.1007/S10992-015-9385-3MaRDI QIDQ312499zbMATH OpenOpenAlexWikidataFDO

Authors Stefan Wintein, Reinhard A. Muskens

Publication date 15 September 2016

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

Copyright license Creative Commons Attribution 4.0 International

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

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

Recommendations

• Nothing but the truth
• A calculus for Belnap's logic in which each proof consists of two trees
• Exactly true and non-falsity logics meeting infectious ones
• Correspondence analysis for first degree entailment
• Dual-Belnap logic and anything but falsehood

Cites work

• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 590999 (Why is no real title available?)
• A calculus for Belnap's logic in which each proof consists of two trees
• Belnap's Four-Valued Logic and De Morgan Lattices
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• Generalizing functional completeness in Belnap-Dunn logic
• Intuitive semantics for first-degree entailments and `coupled trees'
• Nothing but the truth
• On partial and paraconsistent logics
• Reasoning with logical bilattices
• Sequents in many valued logic I
• The value of the four values

Cited in

(9)

• The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
• Exactly true and non-falsity logics meeting infectious ones
• Non-distributive relatives of ETL and NFL
• A calculus for Belnap's logic in which each proof consists of two trees
• Two-sided sequent calculi for \textit{FDE}-like four-valued logics
• Interpolation methods for Dunn logics and their extensions
• Structural rules for multi-valued logics
• 40 years of FDE: an introductory overview
• The value of the one value: \textit{exactly true logic} revisited

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q312499)