|
Zapiski Nauchnykh Seminarov POMI, 1995, Volume 220, Pages 93–122
(Mi znsl4283)
|
|
|
|
This article is cited in 3 scientific papers (total in 3 papers)
A method of epsilon substitution for the predicate logic with equality
G. E. Mints Department of Philosophy, Stanford University
Abstract:
The method of epsilon substitution was defined for arithmetic with interpretation of $\varepsilon xA(x)$ as the least $x$ satisfying $A(x)$. It proceeds by a series of finite approximations “from below” to a solution of a timed system of critical formulas. For the predicate logic only approach “from above” similar to cut-elimination was available. We present a definition of epsilon substitution for the predicate logic, prove the termination of the substitution process, and derive the corresponding Herbrand-type theorem. Bibliography: 18 titles.
Received: 01.09.1994
Citation:
G. E. Mints, “A method of epsilon substitution for the predicate logic with equality”, Studies in constructive mathematics and mathematical logic. Part IX, Zap. Nauchn. Sem. POMI, 220, POMI, St. Petersburg, 1995, 93–122; J. Math. Sci. (New York), 87:1 (1997), 3234–3252
Linking options:
https://www.mathnet.ru/eng/znsl4283 https://www.mathnet.ru/eng/znsl/v220/p93
|
Statistics & downloads: |
Abstract page: | 167 | Full-text PDF : | 104 |
|