|
Записки научных семинаров ЛОМИ, 1988, том 174, страницы 132–146
(Mi znsl4515)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Схемы доказательств в аксиоматических теориях гильбертовского типа
В. П. Оревков
Аннотация:
Схемой вывода в аксиоматической теории называется конечная последовательность анализов применений правил и аксиом. Выводом по схеме $U$ называется любой вывод, у которого список анализов применений аксиом и правил совпадает с $U$. Схема вывода допустима, если можно построить вывод по этой схеме. Пусть $\mathfrak{A}$ — некоторая аксиоматическая теория гильбертовского типа. Рассматриваются следующие задачи: а) распознавания допустимости схем вывода в $\mathfrak{A}$, б) распознавания выводимости формулы по данной схеме вывода в $\mathfrak{A}$. Для обычных формулировок исчисления предикатов без равенства доказана разрешимость первой задачи и неразрешимость второй. Библ. – 11 назв.
Образец цитирования:
В. П. Оревков, “Схемы доказательств в аксиоматических теориях гильбертовского типа”, Теория сложности вычислений. 3, Зап. научн. сем. ЛОМИ, 174, Изд-во «Наука», Ленинград. отд., Л., 1988, 132–146; J. Soviet Math., 55:2 (1991), 1610–1620
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl4515 https://www.mathnet.ru/rus/znsl/v174/p132
|
Статистика просмотров: |
Страница аннотации: | 174 | PDF полного текста: | 80 |
|