RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив

Алгебра и логика, 2021, том 60, номер 6, страницы 612–635 (Mi al2690)

Эта публикация цитируется в 2 статьях

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

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

Математический институт им. В. А. Стеклова РАН, г. Москва, РОССИЯ

Аннотация: Рассматриваются решётки расширений трёх логик: (1) модальной логики бирешёток; (2) полной бимодальной логики Белнапа–Данна; (3) классической бимодальной логики. Доказывается изоморфизм этих решёток. Более того, построенные изоморфизмы сохраняют разнообразные хорошие свойства, такие как табличность, предтабличность, разрешимость или интерполяционное свойство Крейга.

Ключевые слова: многозначная модальная логика, сильное отрицание, следование первой ступени, алгебраическая логика.

УДК: 510.643

Поступило: 01.09.2021
Окончательный вариант: 08.04.2022

DOI: 10.33048/alglog.2021.60.607


 Англоязычная версия: Algebra and Logic, 2022, 60:6, 407–424

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


© МИАН, 2024