|
Записки научных семинаров ЛОМИ, 1979, том 88, страницы 192–196
(Mi znsl3113)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Рост длины секвенциального вывода при перестройке в натуральный
С. В. Соловьев
Аннотация:
Рассматривается $(\&,\supset)$-фрагмент интуционистского исчисления высказываний. Показано, что при стандартной перестройке генценовского вывода $\alpha$ в натуральный вывод $\varphi(\alpha)$, длина $(\varphi(\alpha))\leq2^{2\cdot\text{длина}(\alpha)}$. Построена последовательность генценовских выводов возрастающей длины $\alpha'$, для которой длина $(\varphi(\alpha_i))\geq^{1/3\cdot\text{длина}(\alpha_i)}$ показывает, что полученная верхняя оценка является не слишком слабой. Библ. – 5 назв.
Образец цитирования:
С. В. Соловьев, “Рост длины секвенциального вывода при перестройке в натуральный”, Исследования по конструктивной математике и математической логике. VIII, Зап. научн. сем. ЛОМИ, 88, Изд-во «Наука», Ленинград. отд., Л., 1979, 192–196; J. Soviet Math., 20:4 (1982), 2367–2369
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl3113 https://www.mathnet.ru/rus/znsl/v88/p192
|
Статистика просмотров: |
Страница аннотации: | 135 | PDF полного текста: | 36 |
|