A method of epsilon substitution for the predicate logic with equality
From MaRDI portal
Publication:1807464
DOI10.1007/BF02358997zbMATH Open0934.03073OpenAlexW2008841321MaRDI QIDQ1807464FDOQ1807464
Authors: G. E. 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
Recommendations
Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Classical first-order logic (03B10)
Cites Work
- Epsilon substitution method for elementary analysis
- On the interpretation of non-finitist proofs–Part II
- The consistency of arithmetics
- On the Interpretation of Non-Finitist Proofs--Part I
- David Hilbert and his mathematical work
- Title not available (Why is that?)
- The substitution method
- Title not available (Why is that?)
- Strong termination for the epsilon substitution method
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (8)
- A termination proof for epsilon substitution using partial derivations
- Epsilon substitution method for theories of jump hierarchies
- An emendation of the axiom system of Hilbert and Ackermann for the restricted calculus of predicates
- Epsilon substitution method for \([\Pi^0_1,\Pi^0_1]\)-FIX
- Ackermann's substitution method (remixed)
- Title not available (Why is that?)
- Title not available (Why is that?)
- An Addition to “Cut Elimination in ε-Calculi”
This page was built for publication: A method of epsilon substitution for the predicate logic with equality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1807464)
