Publication:4249227
From MaRDI portal
zbMath0945.03083MaRDI QIDQ4249227
Publication date: 8 October 2000
Full work available at URL: https://eudml.org/doc/208921
03F05: Cut-elimination and normal-form theorems
Related Items
A short proof of the strong normalization of classical natural deduction with disjunction, Some general results about proof normalization, Lexicographic Path Induction