RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирские электронные математические известия // Архив

Сиб. электрон. матем. изв., 2014, том 11, страницы 210–219 (Mi semr482)

Математическая логика, алгебра и теория чисел

Обобщенные BK-шкалы

Е. И. Латкин

Институт математики им. С. Л. Соболева СО РАН, пр. академика Коптюга 4, 630090, Новосибирск, Россия

Аннотация: We define general $\mathbf{BK}$-frames with two different approaches. We prove that our semantic of general $\mathbf{BK}$-frames is as strong as the algebraic semantic of twist-structures. Then we formulate the p-morphism theorem.

Ключевые слова: BK-frame, belnapian modal logic, twist-structure, modal algebra, general frame, p-morphism.

УДК: 510.64

MSC: 03B20, 03B50

Поступила 9 апреля 2014 г.



© МИАН, 2024