Course on Proof Theory

Handouts should come soon (as soon as I will have written them!).

• Background on First-Order Logic and Introduction to Deduction Systems (no slides)
• Gentzen's LK Sequent Calculus
• Intuitionism
• Completeness for LK (+ Compactness and Löwenheim-Skolem) by Proof-Theoretical Means
• Hauptsatz (Cut Elimination) and its Applications
• Linear Logic: Introduction
• Linear Logic: Focalization Theorem
• Linear Logic: Decidability Results and Proofs Nets
• Computation as Proof Search
• Computation as Proof Normalization
• Interactivity: Playing with Proofs.

Bibliography

Talk at IIT Delhi on the 17/09/2004

Slides of an introductory lecture about proof theory for CMI undergraduate students (2H30min, same slides as those for Delhi but for the first slides and few other slides in the file)