Postponement of raa and Glivenko's theorem, revisited (extended version)

Giulio Guerrieri, Alberto Naibo

This article focuses on the technique of postponing the application of the reduction ad absurdum rule (raa) in classical natural deduction. First, it is shown how this technique is…