|
Zapiski Nauchnykh Seminarov LOMI, 1974, Volume 40, Pages 63–76
(Mi znsl2682)
|
|
|
|
On cut-type rules for calculuses of general type
S. Yu. Maslov, S. A. Norgela
Abstract:
The problem of the cut-elimination for calculuses of general type is formulated as the problem of strict representability by means of Post canonical systems satisfying the additional requirement: each word can be a conclusion only of a finite member of applications of rules. Possibilities of elimination and of algorithmic elimination of cut-type rules are studied.
Citation:
S. Yu. Maslov, S. A. Norgela, “On cut-type rules for calculuses of general type”, Studies in constructive mathematics and mathematical logic. Part VI, Zap. Nauchn. Sem. LOMI, 40, "Nauka", Leningrad. Otdel., Leningrad, 1974, 63–76
Linking options:
https://www.mathnet.ru/eng/znsl2682 https://www.mathnet.ru/eng/znsl/v40/p63
|
Statistics & downloads: |
Abstract page: | 177 | Full-text PDF : | 75 |
|