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

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