Intuitionistic Predicate Calculus with ^|^epsilon;-Symbol

DOI10.4288/JAFPOS1956.4.49zbMATH Open0287.02014OpenAlexW1165599629MaRDI QIDQ4773682FDOQ4773682

Authors: 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)

Cited In (5)

• Heyting predicate calculus with epsilon symbol
• Intuitionistic existential instantiation and epsilon symbol
• EPSILON THEOREMS IN INTERMEDIATE LOGICS
• Herbrand complexity and the epsilon calculus with equality
• Interpreting descriptions in intensional type theory

This page was built for publication: Intuitionistic Predicate Calculus with ^|^epsilon;-Symbol

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4773682)