A systematic approach to canonicity in the classical sequent calculus

DOI10.4230/LIPICS.CSL.2012.183zbMATH Open1252.03128OpenAlexW1507611082MaRDI QIDQ4649546FDOQ4649546

Authors: Kaustuv Chaudhuri, Stefan Hetzl, Dale Miller 

Publication date: 22 November 2012

Full work available at URL: https://inria.hal.science/hal-00772396

Recommendations

• A multi-focused proof system isomorphic to expansion proofs
• Canonical proof nets for classical logic
• The focused calculus of structures
• Structural focalization
• Multi-focused cut elimination

zbMATH Keywords

sequent calculusclassical logiccanonicityexpansion trees

Mathematics Subject Classification ID

Classical first-order logic (03B10) Structure of proofs (03F07)

Cited In (9)

• Revisiting the canonicity of canonical triangulations
• Algorithmic correspondence and canonicity for possibility semantics
• Multi-focused proofs with different polarity assignments
• On concurrent behaviors and focusing in linear logic
• Semantic investigation of canonical Gödel hypersequent systems
• Constructive canonicity in non-classical logics
• A multi-focused proof system isomorphic to expansion proofs
• Canonicity results for mu-calculi: an algorithmic approach
• Canonical proof nets for classical logic

This page was built for publication: A systematic approach to canonicity in the classical sequent calculus

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