Примеры J-логик с интерполяционными свойствами Научная публикация
| Журнал |
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports)
, E-ISSN: 1813-3304 |
||
|---|---|---|---|
| Вых. Данные | Год: 2026, Том: 23, Номер: 1, Страницы: 1-8 Страниц : 7 DOI: 10.33048/semi.2026.23.001 | ||
| Ключевые слова | minimal logic, interpolation problem, amalgamation, algebra. | ||
| Авторы |
|
||
| Организации |
|
Информация о финансировании (1)
| 1 | Институт математики им. С.Л. Соболева СО РАН | FWNF-2022-0011 |
Реферат:
Статья посвящена проблеме интерполяции над минимальной логикой J. Мы рассматриваем два расширения минимальной логики J.
Используя алгебраические критерии интерполяционных свойств докажем, что одна из этих логик обладает CIP, другая — нет, но имеет
свойство IPR.
Библиографическая ссылка:
Юн В.Ф.
Примеры J-логик с интерполяционными свойствами
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2026. Т.23. №1. С.1-8. DOI: 10.33048/semi.2026.23.001 Scopus
Примеры J-логик с интерполяционными свойствами
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2026. Т.23. №1. С.1-8. DOI: 10.33048/semi.2026.23.001 Scopus
Даты:
| Поступила в редакцию: | 13 дек. 2025 г. |
| Принята к публикации: | 7 янв. 2026 г. |
| Опубликована в печати: | 13 февр. 2026 г. |
| Опубликована online: | 13 февр. 2026 г. |
Идентификаторы БД:
| ≡ Scopus: | 2-s2.0-105031951056 |