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

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

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


Изв. РАН. Сер. матем.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Известия Академии наук СССР. Серия математическая, 1989, том 53, выпуск 5, страницы 915–943 (Mi im1282)  
Эта публикация цитируется в 9 научных статьях (всего в 9 статьях)

О классификации пропозициональных логик доказуемости

Л. Д. Беклемишев
PDF полного текста (2975 kB) PDF английской версии (1476 kB) Список цитирования (9)
Список литературы:
PDF
HTML
Аннотация: Общее понятие модальной пропозициональной логики доказуемости было введено С. Н. Артёмовым (1979 г.) и А. Виссером (1984 г.). В работе доказывается, что известные к настоящему времени 4 бесконечные серии логик доказуемости – GLα, GL−β, Sβ и Dβ (α,β⊆ω, ω∖β конечно) – исчерпывают все такие логики.
Библиография: 14 названий.
Поступило в редакцию: 13.12.1988
Англоязычная версия:
Mathematics of the USSR-Izvestiya, 1990, Volume 35, Issue 2, Pages 247–275
DOI: https://doi.org/10.1070/IM1990v035n02ABEH000701
Реферативные базы данных:
Тип публикации: Статья
УДК: 512
MSC: Primary 03B45; Secondary 03F30
Образец цитирования: Л. Д. Беклемишев, “О классификации пропозициональных логик доказуемости”, Изв. АН СССР. Сер. матем., 53:5 (1989), 915–943; Math. USSR-Izv., 35:2 (1990), 247–275
Цитирование в формате AMSBIB
\RBibitem{Bek89}
\by Л.~Д.~Беклемишев
\paper О~классификации пропозициональных логик доказуемости
\jour Изв. АН СССР. Сер. матем.
\yr 1989
\vol 53
\issue 5
\pages 915--943
\mathnet{http://mi.mathnet.ru/im1282}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1024449}
\zmath{https://zbmath.org/?q=an:0704.03005}
\transl
\jour Math. USSR-Izv.
\yr 1990
\vol 35
\issue 2
\pages 247--275
\crossref{https://doi.org/10.1070/IM1990v035n02ABEH000701}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=A1989EF86000001}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/im1282
  • https://www.mathnet.ru/rus/im/v53/i5/p915
    • Эта публикация цитируется в следующих 9 статьяx:
    1. Sohei Iwata, Taishi Kurahashi, Yuya Okawa, “The persistence principle over weak interpretability logic”, Mathematical Logic Qtrly, 2023  crossref
    2. Albert Visser, “The absorption law”, Arch. Math. Logic, 60:3-4 (2021), 441  crossref
    3. Rafal Urbaniak, Pawel Pawlowski, Springer Undergraduate Texts in Philosophy, Introduction to Formal Philosophy, 2018, 191  crossref
    4. Lev Beklemishev, Logic and algebra, 2017, 317  crossref
    5. Lev Beklemishev, Tommaso Flaminio, “Franco Montagna's work on provability logic and many-valued logic”, Studia Logica, 104:1 (2016), 1–46  mathnet  crossref  isi  scopus
    6. Wolfgang Rautenberg, A Concise Introduction to Mathematical Logic, 2010, 269  crossref
    7. Р. Э. Яворский, “О пренексном фрагменте логики доказуемости с кванторами по доказательствам”, Математическая логика и алгебра, Сборник статей. К 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
    8. PER LINDSTRöM, “Provability logic—a short introduction”, Theoria, 62:1-2 (1996), 19  crossref
    9. Rineke Verbrugge, Albert Visser, “A small reflection principle for bounded arithmetic”, J. symb. log., 59:3 (1994), 785  crossref
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Известия Академии наук СССР. Серия математическая Izvestiya: Mathematics
    Статистика просмотров:
    Страница аннотации:749
    PDF русской версии:309
    PDF английской версии:50
    Список литературы:70
    Первая страница:3
     
      Обратная связь:
    math-net2025_04@mi-ras.ru     		 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025