ProofTheory19

Contents

• HW1.pdf (Hc ≃ Hc′ etc.)
• HW2.pdf (Nm ⊢ ((((φψ)φ)φ)ψ)ψ etc.)
• HW3.pdf (M ⊢ φ↔¬¬φ for negative φ etc.)
• HW4.pdf (G1m ⊢ ⇒((((φψ)φ)φ)ψ)ψ etc.)
• HW5.pdf (G1s4 ≃ G1s4′ etc.)