А. В. Карпенко, “Интерполяция в слабо транзитивных модальных логиках”, Алгебра и логика, 2012, том 51, номер 2,страницы 197

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

Интерполяция в слабо транзитивных модальных логиках

А. В. Карпенко

Новосибирский гос. ун-т, г. Новосибирск, РОССИЯ

Аннотация: Строится аксиоматизация 16 расширений логики $DL$, обладающих свойством IPD. Доказывается разрешимость свойства WIP в слабо транзитивных модальных логиках. Доказывается разрешимость свойства слабой амальгамируемости для многообразий слабо транзитивных модальных алгебр.

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

УДК: 510.643+512.57

Поступило: 12.03.2011