3.5 Cut Elimination
The cut rule, its elimination, and consequences for consistency and normalization.
Tag
Proof Systems
5 notes
3.4 Proof Transformations
Transformations of proofs, normalization, and structural properties of derivations.
3.3 Hilbert Systems
Hilbert style proof systems, axioms, and derivations using a minimal set of inference rules.
3.2 Sequent Calculus
Sequents, structural rules, and introduction rules for logical connectives in the sequent calculus.
3.1 Natural Deduction
Introduction to natural deduction, inference rules, and structured proofs for propositional logic.