Intuitionistic Predicate Calculus with ^|^epsilon;-Symbol

DOI10.4288/jafpos1956.4.49zbMath0287.02014OpenAlexW1165599629MaRDI QIDQ4773682

Kokio Shirai

Publication date: 1971

Published in: Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4288/jafpos1956.4.49

Mathematics Subject Classification ID

Intermediate logics (03B55) Proof theory and constructive mathematics (03F99)

Related Items

EPSILON THEOREMS IN INTERMEDIATE LOGICS ⋮ Herbrand complexity and the epsilon calculus with equality ⋮ Interpreting descriptions in intensional type theory ⋮ Heyting predicate calculus with epsilon symbol ⋮ Intuitionistic Existential Instantiation and Epsilon Symbol