Abstract
This paper points out an error of Parigot’s proof of strong normalization of second order classical natural deduction by the CPS-translation, discusses erasing-continuation of the CPS-translation, and corrects that proof by using the notion of augmentations.
Citation
Koji Nakazawa. Makoto Tatsuta. "Strong normalization proof with CPS-translation for second order classical natural deduction." J. Symbolic Logic 68 (3) 851 - 859, September 2003. https://doi.org/10.2178/jsl/1058448444
Information
