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