Интерполяция над минимальной логикой и интервалы Одинцова

Исследуется интерполяционное свойство Крейга CIP в расширениях минимальной логики Йохансона. Рассматривается классификация J-логик, предложенная С. П. Одинцовым, в соответствии с их интуиционистскими и негативными напарниками. При этом все логики разбиваются на интервалы. Доказано, что нижний конец интервала имеет CIP тогда и только тогда, когда оба его напарника имеют CIP. Также показана узнаваемость нижних и верхних концов, которые имеют CIP, и найдена их семантическая характеризация.