Cut Elimination in ε‐Calculi

DOI10.1002/MALQ.19820282004MaRDI QIDQ5896367zbMATH OpenOpenAlexFDO

Authors Mitsuru Yasuhara

Publication date 1982

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19820282004

zbMATH Keywords

cut eliminationequalityepsilon calculusHilbert's schema

Mathematics Subject Classification ID

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

Recommendations

• Cut Elimination in ε‐Calculi
• An Addition to “Cut Elimination in ε-Calculi”
• Cut elimination for a simple formulation of epsilon calculus
• The epsilon calculus and Herbrand complexity
• scientific article; zbMATH DE number 1114335

Cited in

(4)

• Cut elimination for a simple formulation of epsilon calculus
• Herbrand complexity and the epsilon calculus with equality
• Cut Elimination in ε‐Calculi
• An Addition to “Cut Elimination in ε-Calculi”

This page was built for publication: Cut Elimination in ε‐Calculi

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