Юн В. Ф.
Узнаваемость всех WIP-минимальных логик

Рассматриваются расширения минимальной логики J Йохансона. В [1] было доказано, что слабое интерполяционное свойство WIP разрешимо над минимальной логикой. При этом все логики с WIP разбиваются на восемь попарно не пересекающихся интервалов. Понятие узнаваемой логики введено в [2]. Узнаваемость над J пяти из восьми WIP-минимальных логик, т. е. нижних концов интервалов с WIP, была доказана ранее [2, 3]. В этой статье доказана узнаваемость над J трех оставшихся WIP-минимальных логик.

V. F. Yun
Recognizability of All WIP-Minimal Logics

We consider extensions of Johansson’s minimal logic J. It was proved in [1] that the weak interpolation property (WIP) is decidable over the minimal logic. Moreover, all logics with WIP are divided into eight pairwise disjoint intervals. The notion of recognizable logic was introduced in [2]. The recognizability over J of five of the eight WIP-minimal logics, i.e. of the lower ends of intervals with WIP, was proved earlier in [2, 3]. We prove the recognizability over J of the remaining three WIP-minimal logics.

DOI 10.17377/smzh.2018.59.119
Ключевые слова: минимальная логика, интерполяционное свойство, разрешимость, узнаваемая логика.

Свободный доступ к полным текстам предоставляется после 1 июля года, следующего за годом публикации