RUS  ENG
Полная версия
ЖУРНАЛЫ // Moscow Mathematical Journal // Архив

Mosc. Math. J., 2001, том 1, номер 4, страницы 475–490 (Mi mmj32)

Эта публикация цитируется в 15 статьях

On first order logic of proofs

[Логика доказательств первого порядка]

S. N. Artemova, T. Yavorskayab

a City University of New York, Graduate Center
b M. V. Lomonosov Moscow State University, Faculty of Mechanics and Mathematics

Аннотация: Логика доказательств LP решила давно стоявшую проблему Гёделя, касающуюся его доказуемостного исчисления (см. [1]). Она также открыла новые направления исследования в теории доказательств, модальной логике, языках программирования с типами, в представлении знаний и т.п. Пропозициональная логика доказательств разрешима и аксиоматизируема. В данной работе мы показываем, что логика доказательств первого порядка не является рекурсивно аксиоматизируемой.

MSC: Primary 03F45; Secondary 03F30, 03F50

Статья поступила: 7 июля 2001 г.; исправленный вариант 9 января 2002 г.

Язык публикации: английский

DOI: 10.17323/1609-4514-2001-1-4-475-490



Реферативные базы данных:


© МИАН, 2024