Here is a big file for the course file.

The course structure is this:

1. Natural Deduction and Normalisation

Reading: PTP Chapter 2

2. Sequents, Cut Elimination and Correspondence

Reading: PTP Chapters 3 and 4

3. Multiple Conclusions, Sequents and Proofnets

Reading: PTP Chapter 5, "Multiple Conclusions" file

4. Modality

Reading: "Proofnets for S5: sequents and circuits for modal logic" file

"A Cut-Free Sequent System for Two-Dimensional Modal Logic, and why it matters" file

5. Truth Values and Limits

Reading: "Truth Values and Proof Theory" file