A semantical proof of the strong normalization theorem for full propositional classical natural deduction

Proofs of strong normalisation for second order classical natural deduction

Michel Parigot · Journal of Symbolic Logic · 1997 · 129 citations

Computing, Computer Science, Mathematics +8

Short proofs of normalization for the simply- typed λ-calculus, permutative conversions and Gödel's T

Felix Joachimski, Ralph Matthes · Archive for Mathematical Logic · 2003 · 96 citations

Computing, Computer Science, Algebra +9

A short proof of the strong normalization of classical natural deduction with disjunction

René David, Karim Nour · Journal of Symbolic Logic · 2003 · 53 citations · Full text

Computing, Computer Science, Mathematics +7

Church–Rosser property of a simple reduction for full first-order classical natural deduction

Yuuki Andou · Annals of Pure and Applied Logic · 2002 · 35 citations

Humanities, Computer Science, Mathematics +9

Non-strictly positive fixed points for classical natural deduction

Ralph Matthes · Annals of Pure and Applied Logic · 2004 · 26 citations

Natural Sciences, Mathematics, Set Theory +8