Cut-elimination and deductive polarization in complementary classical logic

DOI10.1093/JIGPAL/JZX006zbMATH Open1405.03088OpenAlexW2620584519MaRDI QIDQ4644486FDOQ4644486

Authors: Gabriele Pulcini, Walter Carnielli 

Publication date: 8 January 2019

Published in: Logic Journal Of The Igpl (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzx006

Recommendations

• scientific article; zbMATH DE number 742720
• scientific article; zbMATH DE number 1337625
• Gentzen's cut-free calculus versus the logic of paradox
• scientific article; zbMATH DE number 1223622
• Sequent calculus for the intersection of LK and the reversed

zbMATH Keywords

cut-elimination theoremrefutation calculicomplementary classical logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Cited In (8)

• A note on cut-elimination for classical propositional logic
• Complementary proof nets for classical logic
• Sequent-calculi for metainferential logics
• Fractional semantics for classical logic
• Paraconsistency in classical logic
• A hybrid calculus for the validities and invalidities of classical propositional logic
• Validities, antivalidities and contingencies: a multi-standard approach
• Towards a non-classical meta-theory for substructural approaches to paradox

This page was built for publication: Cut-elimination and deductive polarization in complementary classical logic

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