| Kurzkommentar |
Structure: Three hours per week, split across one or two meetings (to be decided). At least the initial meetings will be lecture-style.
Theme: Topics in structural proof theory, introduced and explored through different logics. We'll loosely follow the judgmental approach.
Approximate list of topics:
* Intuitionistic logic
- Natural deduction
- Structural properties
- Proof terms (Curry-Howard isomorphism)
- Proof normalization and normal proofs
- Sequent calculus
- Cut-elimination
- Decidability (briefly)
* Classical logic
- Natural deduction
- Sequent calculus
- Cut-elimination
* Modal logic
- Necessitation and possibility
- Natural deduction
- Sequent calculus
- Lax logic (optional)
* Substructural logics
- Linear logic
- Affine logic (optional)
* Focusing
- Polarized logic
- Focused inference rules & completeness
- Uniform proofs and goal-directed search (optional) |
