We present a modular proof of the strong normalisation of intuitionistic logic with permutation-conversions. This proof is based on the notions of negative translation and CPS-simulation.
CITATION STYLE
de Groote, P. (1999). On the strong normalisation of natural deduction with permutation-conversions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1631, pp. 45–59). Springer Verlag. https://doi.org/10.1007/3-540-48685-2_4
Mendeley helps you to discover research relevant for your work.