Л. Л. Максимова, В. Ф. Юн, “Узнаваемые логики”, Алгебра и логика, 2015, том 54, номер 2,страницы 252

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

Узнаваемые логики

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

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

Аннотация: Исследуются расширения минимальной логики J Йохансона и проблема узнавания. Доказывается узнаваемость некоторых известных логик над J. Показывается узнаваемость над J всех стройных логик, обладающих интерполяционным свойством Крейга CIP, ограниченным интерполяционным свойством IPR или проективным свойством Бета PBP. Доказывается, что логика JF не является надежно узнаваемой над J. Кроме того, устанавливается связь алгебраической семантики с модифицированнной семантикой Крипке, а также приводится критерий надежной узнаваемости в терминах характеристических формул.

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

УДК: 510.64

Поступило: 27.06.2014

DOI: 10.17377/alglog.2015.54.208