The predicate calculus with \(\varepsilon\)-symbol
From MaRDI portal
Publication:766669
DOI10.2969/JMSJ/00740323zbMath0067.25003OpenAlexW2078109816MaRDI QIDQ766669
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
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