Карпенко А. В.
Интерполяционные свойства в расширениях логики неравенства

Рассмотрены модальные логики wK4 и DL, а также соответствующие им слабо транзитивные модальные алгебры и DL-алгебры. Доказано, что существует в точности 16 амальгамируемых многообразий DL-алгебр. Найден критерий слабой амальгамируемости многообразий слабо транзитивных модальных алгебр. Как следствие решена проблема дедуктивной интерполяции для расширений логики неравенства DL. Получен критерий слабой интерполяции над wK4.

Karpenko A. V.
Interpolation properties in the extensions of the logic of inequality

We consider the modal logics wK4 and DL as well as the corresponding weakly transitive modal algebras and DL-algebras. We prove that there exist precisely 16 amalgamable varieties of DL-algebras. We find a criterion for the weak amalgamation property of varieties of weakly transitive modal algebras, solve the deductive interpolation problem for extensions of the logic of inequality DL, and obtain a weak interpolation criterion over wK4.

Полный текст статьи / Full texts:

• PDF file (525 KB)
• PostScript file (1,1 MB)