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 г.
Полный текст:
PDF файл (522 kB)
Список литературы
©
МИАН
, 2024