A note on strong normalization in classical natural deduction

MaRDI QIDQ5015364zbMATH OpenFDO

Authors José Espírito Santo

Publication date 7 December 2021

Full work available at URL https://arxiv.org/abs/1606.06387, http://eptcs.web.cse.unsw.edu.au/paper.cgi?CLaC16.4

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Recommendations

• Strong normalization of classical natural deduction with disjunctions
• Strong normalization results by translation
• A short proof of the strong normalization of classical natural deduction with disjunction
• A semantical proof of the strong normalization theorem for full propositional classical natural deduction
• Proofs of strong normalisation for second order classical natural deduction

Cites work

• scientific article; zbMATH DE number 1479632 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Normalization theorems for full first order classical natural deduction
• The duality of computation

Cited in

(8)

• A direct proof of strong normalization for full constructive second-order logic
• Strong normalization of classical natural deduction with disjunctions
• Proofs of strong normalisation for second order classical natural deduction
• A short proof of the strong normalization of classical natural deduction with disjunction
• scientific article; zbMATH DE number 1405618 (Why is no real title available?)
• scientific article; zbMATH DE number 1406467 (Why is no real title available?)
• Classical Logic with Mendler Induction
• Strong normalization results by translation

This page was built for publication: A note on strong normalization in classical natural deduction

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