Cuts, gluts and gaps

MaRDI QIDQ4925909zbMATHFDO

Authors Vincent Degauquier

Publication date 12 June 2013

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Bivalent logics
• Sequent calculi for three-valued logics
• A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications
• On partial and paraconsistent logics
• Gentzen's cut-free calculus versus the logic of paradox

Cited in

(6)

• Bivalent logics
• Of gaps, gluts, and God's ability to change the past
• Partial and paraconsistent three-valued logics
• A useful four-valued extension of the temporal logic \(\mathsf{K}_{\mathsf t}\mathsf{T4}\)
• Cuts and gluts
• Non-classical elegance for sequent calculus enthusiasts

This page was built for publication: Cuts, gluts and gaps

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