New Proofs of Weak Normalization for Propositional Logic

S P Suresh

We present new proofs of weak normalization for intuitionistic and classical propositional logics (with the full set of operators -- falsum, implication, conjunction and disjunctio…