Максимова Л. Л.
Разрешимость интерполяционного свойства Крейга в стройных J-логиках

Исследуются раcширения минимальной логики J Йохансона. Найдены достаточные условия финитной аппроксимируемости J-логик в зависимости от вида их аксиом. С использованием этих условий доказывается разрешимость интерполяционного свойства Крейга в стройных J-логиках. Ранее были описаны все J-логики со слабым интерполяционным свойством WIP и доказана разрешимость WIP над J.

Maksimova L. L.
The decidability of craig’s interpolation property in well-composed J-logics

Under study are the extensions of Johansson’s minimal logic J. We find sufficient conditions for the finite approximability of J-logics in dependence on the form of their axioms. Using these conditions, we prove the decidability of Craig’s interpolation property (CIP) in well-composed J-logics. Previously all J-logics with weak interpolation property (WIP) were described and the decidability of WIP over J was proved. Also we establish the decidability of the problem of amalgamability of well-composed varieties of J-algebras.

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

• PDF file
• PostScript file