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

zbMATH Open1102.03008MaRDI QIDQ5477358FDOQ5477358

Authors: Ralph Matthes 

Publication date: 3 July 2006

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

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)

Cited In (6)

• Strong normalization of classical natural deduction with disjunctions
• Strong normalization proofs by CPS-translations
• Strong normalization results by translation
• Title not available (Why is that?)
• Non-strictly positive fixed points for classical natural deduction
• Strong normalization proof with CPS-translation for second order classical natural deduction

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)