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

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

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


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




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

Математические заметки, 2014, том 96, выпуск 4, страницы 609–622
DOI: https://doi.org/10.4213/mzm10442 (Mi mzm10442) 		 
Эта публикация цитируется в 14 научных статьях (всего в 14 статьях)

Циклические выводы для логики доказуемости Гёделя–Лёба

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

a Математический институт им. В. А. Стеклова РАН, г. Москва
b Национальный исследовательский университет «Высшая школа экономики», г. Москва
PDF полного текста (498 kB)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.4213/mzm10442
Аннотация: В статье рассматривается исчисление секвенций для логики доказуемости $\mathsf{GL}$, доказуемость в котором основана на понятии циклического вывода. В отличие от обычных выводов, циклический вывод можно представлять себе не как дерево, но как граф, содержащий циклы. Используя данное понятие, мы даем синтаксическое доказательство интерполяционного свойства Линдона для логики $\mathsf{GL}$.
Библиография: 18 названий.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 11-01-00281-а
11-01-00947-а
12-01-00888-а
Министерство образования и науки Российской Федерации НШ-5593.2012.1
Работа выполнена при поддержке Российского фонда фундаментальных исследований (гранты №№11-01-00281-а, 11-01-00947-а, 12-01-00888-а) и программы “Ведущие научные школы” (грант №НШ-5593.2012.1).
Поступило: 16.12.2013
Исправленный вариант: 20.03.2014
Англоязычная версия:
Mathematical Notes, 2014, Volume 96, Issue 4, Pages 575–585
DOI: https://doi.org/10.1134/S0001434614090326
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.6
Образец цитирования: Д. С. Шамканов, “Циклические выводы для логики доказуемости Гёделя–Лёба”, Матем. заметки, 96:4 (2014), 609–622; Math. Notes, 96:4 (2014), 575–585
Цитирование в формате AMSBIB
\RBibitem{Sha14}
\by Д.~С.~Шамканов
\paper Циклические выводы для логики доказуемости Гёделя--Лёба
\jour Матем. заметки
\yr 2014
\vol 96
\issue 4
\pages 609--622
\mathnet{http://mi.mathnet.ru/mzm10442}
\crossref{https://doi.org/10.4213/mzm10442}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3344339}
\zmath{https://zbmath.org/?q=an:06435023}
\elib{https://elibrary.ru/item.asp?id=22834425}
\transl
\jour Math. Notes
\yr 2014
\vol 96
\issue 4
\pages 575--585
\crossref{https://doi.org/10.1134/S0001434614090326}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000344334500032}
\elib{https://elibrary.ru/item.asp?id=24945627}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84920142631}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mzm10442
  • https://doi.org/10.4213/mzm10442
  • https://www.mathnet.ru/rus/mzm/v96/i4/p609
    • Эта публикация цитируется в следующих статьяx:
    1. Д. С. Шамканов, “Теорема о реализации для логики доказуемости Гёделя–Лёба”, Матем. сб., 207:9 (2016), 171–190  mathnet  crossref  mathscinet  zmath  adsnasa  elib; D. S. Shamkanov, “A realization theorem for the Gödel-Löb provability logic”, Sb. Math., 207:9 (2016), 1344–1360  crossref  isi  elib
    2. С. Л. Кузнецов, “О преобразовании грамматик Ламбека с одним делением в контекстно-свободные грамматики”, Современные проблемы математики, механики и математической физики. II, Сборник статей, Труды МИАН, 294, МАИК «Наука/Интерпериодика», М., 2016, 141–151  mathnet  crossref  mathscinet  elib; S. L. Kuznetsov, “On translating Lambek grammars with one division into context-free grammars”, Proc. Steklov Inst. Math., 294 (2016), 129–138  crossref  isi  elib
    3. B. Afshari, G. E. Leigh, “Cut-free completeness for modal $\mu$-calculus”, 2017 32nd Annual Acm/IEEE Symposium on Logic in Computer Science (LICS), IEEE Symposium on Logic in Computer Science, IEEE, 2017  mathscinet  isi
    4. S. Kuznetsov, “The Lambek calculus with iteration: two variants”, Logic, Language, Information, and Computation, WoLLIC 2017 (London, UK, July 18–21, 2017), Lecture Notes in Computer Science, 10388, eds. J. Kennedy, R. DeQueiroz, Springer International Publishing Ag, 2017, 182–198  crossref  mathscinet  zmath  isi  scopus
    5. Yu. Savateev, D. Shamkanov, “Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs”, Logic, Language, Information, and Computation, WoLLIC 2017 (London, UK, July 18–21, 2017), Lecture Notes in Computer Science, 10388, eds. J. Kennedy, R. DeQueiroz, Springer International Publishing Ag, 2017, 321–335  crossref  mathscinet  zmath  isi  scopus
    6. D. Shamkanov, “Global neighbourhood completeness of the Gödel-Lob provability logic”, Logic, Language, Information, and Computation, WoLLIC 2017 (London, UK, July 18–21, 2017), Lecture Notes in Computer Science, 10388, eds. J. Kennedy, R. DeQueiroz, Springer International Publishing Ag, 2017, 358–370  crossref  mathscinet  zmath  isi  scopus
    7. R. Kuznets, “Multicomponent proof-theoretic method for proving interpolation properties”, Ann. Pure Appl. Log., 169:12, SI (2018), 1369–1418  crossref  mathscinet  zmath  isi  scopus
    8. K. A. Jobczyk, A. Ligeza, “An epistemic Halpern-Shoham logic for gradable justification”, 2018 IEEE International Conference on Fuzzy Systems (Fuzz-IEEE), IEEE International Conference on Fuzzy Systems, IEEE, 2018  isi
    9. Kavvos G.A., “Dual-Context Calculi For Modal Logic”, Log. Meth. Comput. Sci., 16:3 (2020), 10  crossref  mathscinet  isi
    10. Shamkanov D., “Non-Well-Founded Derivations in the Godel-Lob Provability Logic”, Rev. Symb. Log., 13:4 (2020), PII S1755020319000613, 776–796  crossref  mathscinet  isi
    11. Afshari B., Leigh G.E., Turata G.M., “Uniform Interpolation From Cyclic Proofs: the Case of Modal Mu-Calculus”, Automated Reasoning With Analytic Tableaux and Related Methods, Tableaux 2021, Lecture Notes in Artificial Intelligence, 12842, eds. Das A., Negri S., Springer International Publishing Ag, 2021, 335–353  crossref  mathscinet  isi
    12. Rooduijn J., “Cyclic Hypersequent Calculi For Some Modal Logics With the Master Modality”, Automated Reasoning With Analytic Tableaux and Related Methods, Tableaux 2021, Lecture Notes in Artificial Intelligence, 12842, eds. Das A., Negri S., Springer International Publishing Ag, 2021, 354–370  crossref  mathscinet  isi
    13. SAVATEEV Y. U. R. Y., SHAMKANOV D. A. N. I. Y. A. R., “Non-Well-Founded Proofs For the Grzegorczyk Modal Logic”, Rev. Symb. Log., 14:1 (2021), PII S1755020319000510, 22–50  crossref  mathscinet  isi
    14. Iwata S., “Interpolation Properties For Sacchetti'S Logics”, Advances in Mathematical Logic, Springer Proceedings in Mathematics & Statistics, 369, eds. Arai T., Kikuchi M., Kuroda S., Okada M., Yorioka T., Springer, 2021, 47–76  crossref  mathscinet  isi
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математические заметки Mathematical Notes
    Статистика просмотров:
    Страница аннотации:575
    PDF полного текста:203
    Список литературы:34
    Первая страница:31
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024