Cuts, gluts and gaps

zbMATH Open1283.03088MaRDI QIDQ4925909FDOQ4925909

Authors: Vincent Degauquier 

Publication date: 12 June 2013

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

Mathematics Subject Classification ID

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

Cited In (6)

• Of gaps, gluts, and God's ability to change the past
• A useful four-valued extension of the temporal logic \(\mathsf{K}_{\mathsf t}\mathsf{T4}\)
• Partial and paraconsistent three-valued logics
• Bivalent logics
• 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)