Примеры J-логик с интерполяционными свойствами Full article
| Journal |
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports)
, E-ISSN: 1813-3304 |
||
|---|---|---|---|
| Output data | Year: 2026, | ||
| Authors |
|
||
| Affiliations |
|
Funding (1)
| 1 | Sobolev Institute of Mathematics | FWNF-2022-0011 |
Abstract:
Статья посвящена проблеме интерполяции над минимальной логикой J. Мы рассматриваем два расширения минимальной логики J.
Используя алгебраические критерии интерполяционных свойств докажем, что одна из этих логик обладает CIP, другая — нет, но имеет
свойство IPR.
Cite:
Юн В.Ф.
Примеры J-логик с интерполяционными свойствами
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2026.
Примеры J-логик с интерполяционными свойствами
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2026.
Dates:
| Submitted: | Dec 13, 2025 |
| Accepted: | Jan 7, 2026 |
Identifiers:
No identifiers
Citing:
Пока нет цитирований