A method of epsilon substitution for the predicate logic with equality

DOI10.1007/BF02358997MaRDI QIDQ1807464zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

predicate logicepsilon substitution methodaxiom of extensionalityaxiom of equality

Mathematics Subject Classification ID

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

Recommendations

• Epsilon substitution for first- and second-order predicate logic
• Strong termination for the epsilon substitution method
• scientific article; zbMATH DE number 733386
• Epsilon substitution method for elementary analysis

Cites work

• scientific article; zbMATH DE number 3150889 (Why is no real title available?)
• scientific article; zbMATH DE number 3827857 (Why is no real title available?)
• scientific article; zbMATH DE number 4108755 (Why is no real title available?)
• scientific article; zbMATH DE number 733386 (Why is no real title available?)
• scientific article; zbMATH DE number 3330711 (Why is no real title available?)
• David Hilbert and his mathematical work
• Epsilon substitution method for elementary analysis
• On the Interpretation of Non-Finitist Proofs--Part I
• On the interpretation of non-finitist proofs–Part II
• Strong termination for the epsilon substitution method
• The consistency of arithmetics
• The substitution method

Cited in

(10)

• A termination proof for epsilon substitution using partial derivations
• Epsilon substitution for \(ID_1\) via cut-elimination
• Epsilon substitution method for theories of jump hierarchies
• Epsilon substitution for first- and second-order predicate logic
• 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)
• scientific article; zbMATH DE number 4108755 (Why is no real title available?)
• scientific article; zbMATH DE number 1870415 (Why is no real title available?)
• 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)