Title of article
Strong normalization results by translation
Author/Authors
David، نويسنده , , René and Nour، نويسنده , , Karim، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2010
Pages
9
From page
1171
To page
1179
Abstract
We prove the strong normalization of full classical natural deduction (i.e. with conjunction, disjunction and permutative conversions) by using a translation into the simply typed λ μ -calculus. We also extend Mendler’s result on recursive equations to this system.
Keywords
Classical logic , Strong normalization , ? ? -calculus
Journal title
Annals of Pure and Applied Logic
Serial Year
2010
Journal title
Annals of Pure and Applied Logic
Record number
1444466
Link To Document