Максимова Л. Л., Юн В. Ф.
Интерполяция над минимальной логикой и интервалы Одинцова

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

Maksimova L. L., Yun V. F.
Interpolation over the minimal logic and Odintsov intervals

We study Craig’s interpolation property in the extensions of Johansson’s minimal logic. We consider the Odintsov classification of J-logics according to their intuitionistic and negative companions which subdivides all logics into intervals. We prove that the lower endpoint of an interval has Craig interpolation property if and only if both its companions do so. We also establish the recognizability of the lower and upper endpoints which have Craig interpolation property, and find their semantic characterization.

DOI 10.17377/smzh.2015.56.311

Ключевые слова: минимальная логика Йохансона, интерполяционное свойство Крейга, узнаваемость, интервалы Одинцова.

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

• PDF file
• PostScript file