Примеры J-логик с интерполяционными свойствами | Sciact - Система учета научной деятельности ИМ СО РАН

Примеры J-логик с интерполяционными свойствами Научная публикация

Журнал

Сибирские электронные математические известия (Siberian Electronic Mathematical Reports)
, E-ISSN: 1813-3304

Вых. Данные

Год: 2026,

Авторы

Юн В.Ф. ¹

Организации

1	Институт математики им. С.Л.Соболева

Информация о финансировании (1)

Институт математики им. С.Л. Соболева СО РАН

FWNF-2022-0011

Статья посвящена проблеме интерполяции над минимальной логикой J. Мы рассматриваем два расширения минимальной логики J. Используя алгебраические критерии интерполяционных свойств докажем, что одна из этих логик обладает CIP, другая — нет, но имеет свойство IPR.

Юн В.Ф.
Примеры J-логик с интерполяционными свойствами
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2026.

Поступила в редакцию:	13 дек. 2025 г.
Принята к публикации:	7 янв. 2026 г.

Нет идентификаторов

Пока нет цитирований