|
Алгебра и логика, 2010, том 49, номер 3, страницы 346–365
(Mi al443)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Простые слабо транзитивные модальные алгебры
А. В. Карпенкоa, Л. Л. Максимоваba a Новосибирский гос. ун-т, г. Новосибирск, РОССИЯ
b Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ
Аннотация:
Изучаются слабо транзитивные модальные алгебры. Доказывается, что класс простых слабо транзитивных алгебр совпадает с классом простых $DL$-алгебр, даётся полное описание конечно порождённых простых $DL$-алгебр и их вложений. Как следствие, показывается, что многообразия слабо транзитивных алгебр и $DL$-алгебр не являются слабо амальгамируемыми, а модальные логики $wK4$ и $DL$ не обладают слабым интерполяционным свойством.
Ключевые слова:
слабо транзитивная модальная алгебра, $DL$-алгебра, слабо амальгамируемое многообразие, слабое интерполяционное свойство.
Поступило: 07.04.2009 Окончательный вариант: 01.09.2009
Образец цитирования:
А. В. Карпенко, Л. Л. Максимова, “Простые слабо транзитивные модальные алгебры”, Алгебра и логика, 49:3 (2010), 346–365; Algebra and Logic, 49:3 (2010), 233–245
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al443 https://www.mathnet.ru/rus/al/v49/i3/p346
|
Статистика просмотров: |
Страница аннотации: | 534 | PDF полного текста: | 118 | Список литературы: | 60 | Первая страница: | 9 |
|