Heyting predicate calculus with epsilon symbol

DOI10.1007/BF01091551zbMath0404.03045OpenAlexW2009774817MaRDI QIDQ1256460

Grigori Mints

Publication date: 1977

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01091551

zbMATH Keywords

Cut- EleminationHeyting Arithmetic with Choice AxiomHeyting Predicate Calculus With Epsilon SymbolNormal-Form TheoremQuantifier Elemination

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (5)

EPSILON THEOREMS IN INTERMEDIATE LOGICS ⋮ Harmonising natural deduction ⋮ Interpreting descriptions in intensional type theory ⋮ Existential instantiation and normalization in sequent natural deduction ⋮ Semantics and Proof Theory of the Epsilon Calculus

Cites Work

• Unnamed Item
• Unnamed Item
• Intuitionistic Predicate Calculus with ^|^epsilon;-Symbol
• A General Theory of Completeness Proofs

This page was built for publication: Heyting predicate calculus with epsilon symbol