Intuitionistic Predicate Calculus with ^|^epsilon;-Symbol

DOI10.4288/JAFPOS1956.4.49MaRDI QIDQ4773682zbMATH OpenOpenAlexFDO

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)