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

zbMATH Open1301.03058MaRDI QIDQ4925873FDOQ4925873

Authors: Stefan Wintein, Reinhard A. Muskens 

Publication date: 12 June 2013

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

Mathematics Subject Classification ID

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

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)