Intuitionistic Existential Instantiation and Epsilon Symbol

DOI10.1007/978-3-319-11041-7_9zbMath1429.03057arXiv1208.0861OpenAlexW2963892445MaRDI QIDQ5213612

Grigori Mints

Publication date: 4 February 2020

Published in: Dag Prawitz on Proofs and Meaning (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1208.0861

zbMATH Keywords

sequent calculusnatural deductionintuitionistic predicate logicexistential instantiationHilbert's \(\epsilon\)-symbol

Mathematics Subject Classification ID

Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Herbrand complexity and the epsilon calculus with equality

Cites Work

• Linear lambda-terms and natural deduction
• The Skolem method in intuitionistic calculi
• The Skolemization of existential quantifiers in intuitionistic logic
• On axiomatizing fragments
• Intuitionistic Predicate Calculus with ^|^epsilon;-Symbol
• A General Theory of Completeness Proofs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Intuitionistic Existential Instantiation and Epsilon Symbol