A systematic approach to canonicity in the classical sequent calculus

DOI10.4230/LIPICS.CSL.2012.183MaRDI QIDQ4649546zbMATH OpenOpenAlexFDO

Authors Kaustuv Chaudhuri, Stefan Hetzl, Dale Miller

Publication date 22 November 2012

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

zbMATH Keywords

sequent calculusclassical logiccanonicityexpansion trees

Mathematics Subject Classification ID

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

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

Cited in

(9)

• Revisiting the canonicity of canonical triangulations
• Multi-focused proofs with different polarity assignments
• Algorithmic correspondence and canonicity for possibility semantics
• 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
• Canonical proof nets for classical logic
• Canonicity results for mu-calculi: an algorithmic approach

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)