A calculus for Belnap's logic in which each proof consists of two trees

MaRDI QIDQ4925873zbMATH OpenFDO

Authors Stefan Wintein, Reinhard A. Muskens

Publication date 12 June 2013

Mathematics Subject Classification ID

Many-valued logic (03B50) Structure of proofs (03F07)

Recommendations

• A Gentzen calculus for nothing but the truth
• Correspondence analysis for first degree entailment
• From bi-facial truth to bi-facial proofs
• Modal logics with Belnapian truth values
• Characterizing Belnap's Logic via De Morgan's Laws

Cited in

(3)

• Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\)
• A Gentzen calculus for nothing but the truth
• From bi-facial truth to bi-facial proofs

This page was built for publication: A calculus for Belnap's logic in which each proof consists of two trees

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