A note on strong normalization in classical natural deduction

José Espírito Santo

In the context of natural deduction for propositional classical logic, with classicality given by the inference rule reductio ad absurdum, we investigate the De Morgan translation…