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

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

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



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






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


Алгебра и логика, 2021, том 60, номер 6, страницы 612–635
DOI: https://doi.org/10.33048/alglog.2021.60.607
(Mi al2690)
 

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

О модальной логике бирешёток и её расширениях

С. О. Сперанский

Математический институт им. В. А. Стеклова РАН, г. Москва, РОССИЯ
Список литературы:
Аннотация: Рассматриваются решётки расширений трёх логик: (1) модальной логики бирешёток; (2) полной бимодальной логики Белнапа–Данна; (3) классической бимодальной логики. Доказывается изоморфизм этих решёток. Более того, построенные изоморфизмы сохраняют разнообразные хорошие свойства, такие как табличность, предтабличность, разрешимость или интерполяционное свойство Крейга.
Ключевые слова: многозначная модальная логика, сильное отрицание, следование первой ступени, алгебраическая логика.
Финансовая поддержка Номер гранта
Министерство науки и высшего образования Российской Федерации 075-15-2019-1614
Работа выполнена в МЦМУ МИАН при финансовой поддержке Минобрнауки России, соглашение № 075-15-2019-1614.
Поступило: 01.09.2021
Окончательный вариант: 08.04.2022
Англоязычная версия:
Algebra and Logic, 2022, Volume 60, Issue 6, Pages 407–424
DOI: https://doi.org/10.1007/s10469-022-09667-x
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.643
Образец цитирования: С. О. Сперанский, “О модальной логике бирешёток и её расширениях”, Алгебра и логика, 60:6 (2021), 612–635; Algebra and Logic, 60:6 (2022), 407–424
Цитирование в формате AMSBIB
\RBibitem{Spe21}
\by С.~О.~Сперанский
\paper О модальной логике бирешёток и её расширениях
\jour Алгебра и логика
\yr 2021
\vol 60
\issue 6
\pages 612--635
\mathnet{http://mi.mathnet.ru/al2690}
\crossref{https://doi.org/10.33048/alglog.2021.60.607}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=4443287}
\transl
\jour Algebra and Logic
\yr 2022
\vol 60
\issue 6
\pages 407--424
\crossref{https://doi.org/10.1007/s10469-022-09667-x}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85128905133}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al2690
  • https://www.mathnet.ru/rus/al/v60/i6/p612
  • Эта публикация цитируется в следующих 2 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Алгебра и логика Algebra and Logic
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024