Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Cut Elimination in ε‐Calculi

From MaRDI portal
Publication:5896367
Jump to:navigation, search

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


Authors: Mitsuru Yasuhara Edit this on Wikidata


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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5896367&oldid=16566981"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 4 February 2024, at 13:28. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki