Максимова Л. Л., Юн В. Ф.
Расширения минимальной логики и проблема интерполяции

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

L. L. Maksimova, V. F. Yun
Extensions of the Minimal Logic and the Interpolation Problem

Under study is the interpolation problem over Johansson’s minimal logic J. We give a detailed exposition of the current state of this difficult problem, establish Craig’s interpolation property for several extensions of J, prove the absence of CIP in some families of extensions of J, and survey the results on interpolation over J. Also, the relationship is discussed between the interpolation properties and the recognizability of logics.

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

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