|
Zapiski Nauchnykh Seminarov LOMI, 1981, Volume 105, Pages 45–52
(Mi znsl3398)
|
|
|
|
This article is cited in 1 scientific paper (total in 1 paper)
Simplification of Gentzen's reductions in the classical arithmetic
L. M. Kogan-Bernstein
Abstract:
The reduction of the classical arithmetic derivations used by Gentzen in [1] has not been till now put in practive. In the article a reduction which presents a considerable simplification of the reduction in [1] is suggested. Applying the methods of [3] this reduction can be used for normalization of the derivations. The derivation ordinal as in [1] is a strictly monotonous one unline that used by Gentzen in [2].
Citation:
L. M. Kogan-Bernstein, “Simplification of Gentzen's reductions in the classical arithmetic”, Theoretical application of methods of mathematical logic. Part III, Zap. Nauchn. Sem. LOMI, 105, "Nauka", Leningrad. Otdel., Leningrad, 1981, 45–52; J. Soviet Math., 22:3 (1983), 1305–1310
Linking options:
https://www.mathnet.ru/eng/znsl3398 https://www.mathnet.ru/eng/znsl/v105/p45
|
Statistics & downloads: |
Abstract page: | 140 | Full-text PDF : | 33 |
|