Л. Л. Максимова, В. Ф. Юн, “Расширения минимальной логики и проблема интерполяции”, Сиб. матем. журн., 2018, том 59, номер 4,страницы 863

Эта публикация цитируется в 4 статьях

Расширения минимальной логики и проблема интерполяции

Л. Л. Максимова^ab, В. Ф. Юн^ab

^a Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090
^b Новосибирский гос. университет, ул. Пирогова, 1, Новосибирск 630090

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

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

УДК: 510.6

Статья поступила: 09.05.2017

DOI: 10.17377/smzh.2018.59.410