Максимова Л. Л.
Совместная непротиворечивость в расширениях минимальной логики

Найдены аналоги теоремы Робинсона о совместной непротиворечивости, равносильные слабому интерполяционному свойству WIP в расширениях минимальной логики Йохансона J. Хотя все пропозициональные суперинтуиционистские логики обладают этим свойством, существуют J-логики, не имеющие свойства WIP. Доказано, что проблема справедливости WIP в J-логиках сводится к аналогичной проблеме над логикой Gl, которая получается добавлением закона исключенного третьего к логике J. Найдены алгебраические критерии выполнимости свойства WIP над J и Gl.

Maksimova L. L.
Joint consistency in extensions of the minimal logic

Analogs of Robinson’s theorem on joint consistency are found which are equivalent to the weak interpolation property (WIP) in extensions of Johansson’s minimal logic J. Although all propositional superintuitionistic logics possess this property, there are J-logics without WIP. It is proved that the problem of the validity of WIP in J-logics can be reduced to the same problem over the logic Gl obtained from J by adding the tertium non datur. Some algebraic criteria for validity of WIP over J and Gl are found.

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

• PDF file (445 KB)
• PostScript file (860 KB)