Moscow Mathematical Journal
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Mosc. Math. J.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Moscow Mathematical Journal, 2001, том 1, номер 4, страницы 475–490
DOI: https://doi.org/10.17323/1609-4514-2001-1-4-475-490 (Mi mmj32) 		 
Эта публикация цитируется в 15 научных статьях (всего в 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
PDF полного текста Список цитирования (15)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.17323/1609-4514-2001-1-4-475-490
Аннотация: Логика доказательств LP решила давно стоявшую проблему Гёделя, касающуюся его доказуемостного исчисления (см. [1]). Она также открыла новые направления исследования в теории доказательств, модальной логике, языках программирования с типами, в представлении знаний и т.п. Пропозициональная логика доказательств разрешима и аксиоматизируема. В данной работе мы показываем, что логика доказательств первого порядка не является рекурсивно аксиоматизируемой.
Статья поступила: 7 июля 2001 г.; исправленный вариант 9 января 2002 г.
Реферативные базы данных:
MSC: Primary 03F45; Secondary 03F30, 03F50
Язык публикации: английский
Образец цитирования: S. N. Artemov, T. Yavorskaya, “On first order logic of proofs”, Mosc. Math. J., 1:4 (2001), 475–490
Цитирование в формате AMSBIB
\RBibitem{ArtYav01}
\by S.~N.~Artemov, T.~Yavorskaya
\paper On first order logic of proofs
\jour Mosc. Math.~J.
\yr 2001
\vol 1
\issue 4
\pages 475--490
\mathnet{http://mi.mathnet.ru/mmj32}
\crossref{https://doi.org/10.17323/1609-4514-2001-1-4-475-490}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1901071}
\zmath{https://zbmath.org/?q=an:1011.03045}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000208587600001}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mmj32
  • https://www.mathnet.ru/rus/mmj/v1/i4/p475
    • Эта публикация цитируется в следующих 15 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Moscow Mathematical Journal
    Статистика просмотров:
    Страница аннотации:412
    Список литературы:87
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025