A method of epsilon substitution for the predicate logic with equality

DOI10.1007/BF02358997zbMath0934.03073OpenAlexW2008841321MaRDI QIDQ1807464

Grigori Mints

Publication date: 22 November 1999

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

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

zbMATH Keywords

predicate logicepsilon substitution methodaxiom of extensionalityaxiom of equality

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Epsilon substitution method for elementary analysis
• Strong termination for the epsilon substitution method
• The substitution method
• On the Interpretation of Non-Finitist Proofs--Part I
• On the interpretation of non-finitist proofs–Part II
• David Hilbert and his mathematical work
• The consistency of arithmetics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A method of epsilon substitution for the predicate logic with equality