Introduction to Proof Theory

Niveau: Supérieur
Introduction to Proof Theory Lecture notes for ESSLLI'10 August 9–20, 2010, University of Copenhagen, Denmark Lutz Straßburger INRIA Saclay – Ile-de-France Ecole Polytechnique, Laboratoire d'Informatique (LIX) Rue de Saclay — 91128 Palaiseau Cedex — France July 9, 2010

• c?? ?


• propositional logic


• no prior


• shows his system


• ?b ?


• system


• ?a ?


• sequent calculus