Реферат: Для расширений конструктивной логики Нельсона $\mathbf{N4}^{\bot}$ их модальные напарники определяются как расширения Белнаповской модальной логики BS4, в которые данной $\mathbf{N4}^{\bot}$-расширение вкладывается посредством естественной модификации трансляции Геделя-Тарского. В докладе рассматриваются вопросы переноса на модальные напарники таких свойств $\mathbf{N4}^{\bot}$-расширений как табличность, предтабличность, свойство конечных моделей, расрешимость, интерполяционное свойство Крейга.

Библиографическая ссылка: Odintsov S.P.
On transferring properties of $\mathbf{N4}^{\bot}$-extensions to their modal companion
В сборнике Международная конференция МАЛЬЦЕВСКИЕ ЧТЕНИЯ 10–14 ноября 2025 г. Тезисы докладов. 2025. – C.106.

Идентификаторы БД: Нет идентификаторов

Цитирование в БД: Пока нет цитирований