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

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

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



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






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


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

Эта публикация цитируется в 8 научных статьях (всего в 8 статьях)

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]). Она также открыла новые направления исследования в теории доказательств, модальной логике, языках программирования с типами, в представлении знаний и т.п. Пропозициональная логика доказательств разрешима и аксиоматизируема. В данной работе мы показываем, что логика доказательств первого порядка не является рекурсивно аксиоматизируемой.

DOI: https://doi.org/10.17323/1609-4514-2001-1-4-475-490

Полный текст: http://www.ams.org/.../abst1-4-2001.html
Список литературы: PDF файл   HTML файл

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

MSC: Primary 03F45; Secondary 03F30, 03F50
Статья поступила: 7 июля 2001 г.; исправленный вариант 9 января 2002 г.
Язык публикации: английский

Образец цитирования: 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://www.ams.org/mathscinet-getitem?mr=1901071}
\zmath{https://zbmath.org/?q=an:1011.03045}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000208587600001}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/mmj32
  • http://mi.mathnet.ru/rus/mmj/v1/i4/p475

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. Р. Э. Яворский, “О пренексном фрагменте логики доказуемости с кванторами по доказательствам”, Математическая логика и алгебра, Сборник статей. К 100-летию со дня рождения академика Петра Сергеевича Новикова, Тр. МИАН, 242, Наука, МАИК «Наука/Интерпериодика», М., 2003, 123–135  mathnet  mathscinet  zmath; R. È. Yavorskii, “On Prenex Fragment of Provability Logic with Quantifiers on Proofs”, Proc. Steklov Inst. Math., 242 (2003), 112–124
    2. С. Н. Артемов, “Подход Колмогорова и Гёделя к интуиционистской логике и работы последнего десятилетия в этом направлении”, УМН, 59:2(356) (2004), 9–36  mathnet  crossref  mathscinet  zmath  adsnasa; S. N. Artemov, “Kolmogorov and Gödel's approach to intuitionistic logic: current developments”, Russian Math. Surveys, 59:2 (2004), 203–229  crossref  isi  elib
    3. Yavorskiy R., “On Kripke-style semantics for the provability logic of Gödel's proof predicate with quantifiers on proofs”, Journal of Logic and Computation, 15:4 (2005), 539–549  crossref  mathscinet  zmath  isi
    4. Krupski V.N., “Reference constructions in the single-conclusion proof logic”, Journal of Logic and Computation, 16:5 (2006), 645–661  crossref  mathscinet  zmath  isi
    5. Krupski V.N., “Referential logic of proofs”, Theoretical Computer Science, 357:1–3 (2006), 143–166  crossref  mathscinet  zmath  isi  elib
    6. Krupski V.N., “Symbolic Models for Single-Conclusion Proof Logics”, Computer Science - Theory and Applications, Lecture Notes in Computer Science, 6072, 2010, 276–287  crossref  mathscinet  zmath  isi
    7. Artemov S.N., Yavorskaya (Sidon) Tatiana, “Binding Modalities”, J. Logic Comput., 26:1, SI (2016), 451–461  crossref  mathscinet  zmath  isi
    8. Steren G., Bonelli E., “The First-Order Hypothetical Logic of Proofs”, J. Logic Comput., 27:4 (2017), 1023–1066  crossref  zmath  isi  scopus
  • Moscow Mathematical Journal
    Просмотров:
    Эта страница:202
    Литература:36
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020