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

Алгебра и логика, 2010, том 49, номер 3, страницы 346–365 (Mi al443)

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

Простые слабо транзитивные модальные алгебры

А. В. Карпенкоa, Л. Л. Максимоваba

a Новосибирский гос. ун-т, г. Новосибирск, РОССИЯ
b Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ

Аннотация: Изучаются слабо транзитивные модальные алгебры. Доказывается, что класс простых слабо транзитивных алгебр совпадает с классом простых $DL$-алгебр, даётся полное описание конечно порождённых простых $DL$-алгебр и их вложений. Как следствие, показывается, что многообразия слабо транзитивных алгебр и $DL$-алгебр не являются слабо амальгамируемыми, а модальные логики $wK4$ и $DL$ не обладают слабым интерполяционным свойством.

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

УДК: 512.563+510.6+510.5

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


 Англоязычная версия: Algebra and Logic, 2010, 49:3, 233–245

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


© МИАН, 2024