Аннотация:
Рассматриваются решётки расширений трёх логик: (1) модальной логики бирешёток; (2) полной бимодальной логики Белнапа–Данна; (3) классической бимодальной логики. Доказывается изоморфизм этих решёток. Более того, построенные изоморфизмы сохраняют разнообразные хорошие свойства, такие как табличность, предтабличность, разрешимость или интерполяционное свойство Крейга.
Ключевые слова:
многозначная модальная логика, сильное отрицание, следование первой ступени, алгебраическая логика.
Образец цитирования:
С. О. Сперанский, “О модальной логике бирешёток и её расширениях”, Алгебра и логика, 60:6 (2021), 612–635; Algebra and Logic, 60:6 (2022), 407–424
\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
Эта публикация цитируется в следующих 3 статьяx:
А. Г. Вишнева, С. П. Одинцов, “Модальные напарники специальных расширений конструктивной логики Нельсона”, Матем. заметки, 117:3 (2025), 344–364
А. В. Грефенштейн, С. О. Сперанский, “О кванторной версии модальной логики Белнапа–Данна”, Матем. сб., 215:3 (2024), 37–69; A. V. Grefenshtein, S. O. Speranski, “On the quantified version of the Belnap–Dunn modal logic”, Sb. Math., 215:3 (2024), 323–354
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, “Fuzzy bi-Gödel modal logic and its paraconsistent relatives”, Journal of Logic and Computation, 2024
Цитирование в формате AMSBIB
Обратная связь: