Stabilization -- an alternative to double-negation translation for classical natural deduction

MaRDI QIDQ5477358zbMATH OpenFDO

Authors Ralph Matthes

Publication date 3 July 2006

zbMATH Keywords

second-order polymorphic lambda-calculusstrong normalization of Parigot's second-order lambda-mu-calculus

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 1722662
• Non-strictly positive fixed points for classical natural deduction
• scientific article; zbMATH DE number 1456954
• Un plongement de la logique classique du 2nd ordre dans AF2
• Strong normalization proof with CPS-translation for second order classical natural deduction

Cited in

(6)

• Strong normalization proof with CPS-translation for second order classical natural deduction
• Strong normalization of classical natural deduction with disjunctions
• Non-strictly positive fixed points for classical natural deduction
• scientific article; zbMATH DE number 1722662 (Why is no real title available?)
• Strong normalization proofs by CPS-translations
• Strong normalization results by translation

This page was built for publication: Stabilization -- an alternative to double-negation translation for classical natural deduction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5477358)