Proof theory

Structural study of formal proofs and provability: sequent calculi, linear logic and translations into it, and Gödel's incompleteness theorems.

• Cut elimination for classical linear logic
• Girard's translation into linear logic
• Gödel's incompleteness theorems

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.