Примеры J-логик с интерполяционными свойствами Full article
| Journal |
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports)
, E-ISSN: 1813-3304 |
||
|---|---|---|---|
| Output data | Year: 2026, Volume: 23, Number: 1, Pages: 1-8 Pages count : 7 DOI: 10.33048/semi.2026.23.001 | ||
| Tags | minimal logic, interpolation problem, amalgamation, algebra. | ||
| Authors |
|
||
| Affiliations |
|
Funding (1)
| 1 | Sobolev Institute of Mathematics | FWNF-2022-0011 |
Abstract:
Статья посвящена проблеме интерполяции над минимальной логикой J. Мы рассматриваем два расширения минимальной логики J.
Используя алгебраические критерии интерполяционных свойств докажем, что одна из этих логик обладает CIP, другая — нет, но имеет
свойство IPR.
Cite:
Юн В.Ф.
Примеры 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
Dates:
| Submitted: | Dec 13, 2025 |
| Accepted: | Jan 7, 2026 |
| Published print: | Feb 13, 2026 |
| Published online: | Feb 13, 2026 |
Identifiers:
| ≡ Scopus: | 2-s2.0-105031951056 |