|
Сибирский математический журнал, 2010, том 51, номер 3, страницы 553–568
(Mi smj2106)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Интерполяционные свойства в расширениях логики неравенства
А. В. Карпенко Новосибирский гос. университет, механико-математический факультет, Новосибирск
Аннотация:
Рассмотрены модальные логики $wK_4$ и $DL$, а также соответствующие им слабо транзитивные модальные алгебры и $DL$-алгебры. Доказано, что существует в точности 16 амальгамируемых многообразий $DL$-алгебр. Найден критерий слабой амальгамируемости многообразий слабо транзитивных модальных алгебр. Как следствие решена проблема дедуктивной интерполяции для расширений логики неравенства $DL$. Получен критерий слабой интерполяции над $wK_4$.
Ключевые слова:
модальная логика $wK_4$, модальная логика неравенства $DL$, интерполяция, дедуктивное интерполяционное свойство, слабое интерполяционное свойство, модальные алгебры, амальгамируемость.
Статья поступила: 01.02.2010
Образец цитирования:
А. В. Карпенко, “Интерполяционные свойства в расширениях логики неравенства”, Сиб. матем. журн., 51:3 (2010), 553–568; Siberian Math. J., 51:3 (2010), 439–451
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj2106 https://www.mathnet.ru/rus/smj/v51/i3/p553
|
Статистика просмотров: |
Страница аннотации: | 340 | PDF полного текста: | 83 | Список литературы: | 33 | Первая страница: | 6 |
|