Lecture 1 — General Proof Theory (slides)
Lecture 2 — Proof-theoretic Validity (slides)
Lecture 3 — Base-extension Semantics (slides)
Lecture 4 — Classical Logic & Kripke Semantics (slides)
Lecture 5 — Substructural Logic (slides)
A Survey of Proof-thoeretic Semantics (notes)