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

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

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


Матем. сб.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Математический сборник, 2016, том 207, номер 9, страницы 171–190
DOI: https://doi.org/10.4213/sm8667 (Mi sm8667) 		 
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)

Теорема о реализации для логики доказуемости Гёделя–Лёба

Д. С. Шамканов

Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
PDF полного текста (552 kB) PDF английской версии (530 kB) Список цитирования (4)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.4213/sm8667
Аннотация: Предложена новая логика свидетельств, связанная с логикой доказуемости Гёделя–Лёба $\mathsf{GL}$, и доказана теорема о реализации логики $\mathsf{GL}$ в данной логике свидетельств относительно нормальных реализаций.
Библиография: 9 названий.
Ключевые слова: логика свидетельств (доказательств), логика доказуемости, теорема о реализации, циклические выводы.
Финансовая поддержка Номер гранта
Российский научный фонд 14-50-00005
Исследование выполнено за счет гранта Российского научного фонда (проект № 14-50-00005).
Поступила в редакцию: 04.02.2016
Англоязычная версия:
Sbornik: Mathematics, 2016, Volume 207, Issue 9, Pages 1344–1360
DOI: https://doi.org/10.1070/SM8667
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.6
MSC: 03B42, 03F07, 03F45
Образец цитирования: Д. С. Шамканов, “Теорема о реализации для логики доказуемости Гёделя–Лёба”, Матем. сб., 207:9 (2016), 171–190; D. S. Shamkanov, “A realization theorem for the Gödel-Löb provability logic”, Sb. Math., 207:9 (2016), 1344–1360
Цитирование в формате AMSBIB
\RBibitem{Sha16}
\by Д.~С.~Шамканов
\paper Теорема о реализации для логики доказуемости Гёделя--Лёба
\jour Матем. сб.
\yr 2016
\vol 207
\issue 9
\pages 171--190
\mathnet{http://mi.mathnet.ru/sm8667}
\crossref{https://doi.org/10.4213/sm8667}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3588997}
\zmath{https://zbmath.org/?q=an:1522.03043}
\adsnasa{https://adsabs.harvard.edu/cgi-bin/bib_query?2016SbMat.207.1344S}
\elib{https://elibrary.ru/item.asp?id=26604197}
\transl
\by D.~S.~Shamkanov
\paper A~realization theorem for the G\"{o}del-L\"{o}b provability logic
\jour Sb. Math.
\yr 2016
\vol 207
\issue 9
\pages 1344--1360
\crossref{https://doi.org/10.1070/SM8667}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000391848300008}
\elib{https://elibrary.ru/item.asp?id=27578358}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84995550127}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/sm8667
  • https://doi.org/10.4213/sm8667
  • https://www.mathnet.ru/rus/sm/v207/i9/p171
    • Эта публикация цитируется в следующих 4 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математический сборник Sbornik: Mathematics
    Статистика просмотров:
    Страница аннотации:519
    PDF русской версии:115
    PDF английской версии:24
    Список литературы:73
    Первая страница:28
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024