The predicate calculus with \(\varepsilon\)-symbol

DOI10.2969/JMSJ/00740323zbMath0067.25003OpenAlexW2078109816MaRDI QIDQ766669

Shôji Maehara

Publication date: 1955

Published in: Journal of the Mathematical Society of Japan (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2969/jmsj/00740323

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (6)

Efficient elimination of Skolem functions in \(\text{LK}^\text{h} \) ⋮ Herbrand complexity and the epsilon calculus with equality ⋮ Non-elementary speed-ups in logic calculi ⋮ Interpreting descriptions in intensional type theory ⋮ Resolution is cut-free ⋮ Semantics and Proof Theory of the Epsilon Calculus

This page was built for publication: The predicate calculus with \(\varepsilon\)-symbol