Strong normalization results by translation

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

• Type: Journal
• Year: 2010
• Where: APAL
• Authors: René David, Karim Nour
• Keywords: APAL 2010, Classical Natural Deduction, Permutative Conversions, Strong Normalization