Existential instantiation and strong normalization

DOI10.1007/3-540-63045-7_26MaRDI QIDQ4376065zbMATH OpenFDO

Authors G. E. Mints

Publication date 8 February 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-63045-7_26

zbMATH Keywords

disjunctionnatural deductionnormal formrule of existential instantiationstrong normalization

Mathematics Subject Classification ID

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

Recommendations

• Existential instantiation and normalization in sequent natural deduction
• Strong normalization of classical natural deduction with disjunctions
• Intuitionistic existential instantiation and epsilon symbol
• Eskolemization in intuitionistic logic

Cited in

(5)

• Existential instantiation and normalization in sequent natural deduction
• A simple proof of second-order strong normalization with permutative conversions
• scientific article; zbMATH DE number 3853043 (Why is no real title available?)
• Three faces of natural deduction
• A note on existential instantiation

This page was built for publication: Existential instantiation and strong normalization

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