MGZ 2021

Under MGZ 2021, punctilious formalizes the theories described in [MGZ21, An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs] .

One theory-derivation is provided per key section or chapter in the original book.

Book chapters

• Minimal logic
• Intuitionistic logic
• Classical logic