Cut Elimination in ε‐Calculi

DOI10.1002/MALQ.19820282004zbMATH Open0542.03032OpenAlexW2000643788MaRDI QIDQ5896367FDOQ5896367

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

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

zbMATH Keywords

cut eliminationequalityepsilon calculusHilbert's schema

Mathematics Subject Classification ID

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

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)