Maths›03. Logic and Foundations3.5 Cut EliminationThe cut rule, its elimination, and consequences for consistency and normalization.
Maths›03. Logic and Foundations3.2 Sequent CalculusSequents, structural rules, and introduction rules for logical connectives in the sequent calculus.