Extension without Cut

Article English OPEN
Straßburger , Lutz (2012)
  • Publisher: Elsevier
  • Journal: Annals of Pure and Applied Logic, volume 163, issue 12, pages 1,995-2,007 (issn: 0168-0072)
  • Related identifiers: doi: 10.1016/j.apal.2012.07.004
  • Subject: [ INFO.INFO-LO ] Computer Science [cs]/Logic in Computer Science [cs.LO] | Logic
    arxiv: Computer Science::Logic in Computer Science | Mathematics::Logic

International audience; In proof theory one distinguishes sequent proofs with cut and cut-free sequent proofs, while for proof complexity one distinguishes Frege-systems and extended Frege-systems. In this paper we show how deep inference can provide a uniform treatment... View more
Share - Bookmark