scientific article; zbMATH DE number 1114347

MaRDI QIDQ4376065zbMATH OpenFDO

Authors G. E. Mints

Publication date 8 February 1998

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:

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