Интерполяционное свойство Крейга в предтабличных логиках Full article
| Journal |
Сибирский математический журнал
ISSN: 0037-4474 |
||
|---|---|---|---|
| Output data | Year: 2024, Volume: 65, Number: 2, Pages: 349-357 Pages count : 9 DOI: 10.33048/smzh.2024.65.209 | ||
| Tags | минимальная логика, табличность, предтабличная логика, интерполяционное свойство. | ||
| Authors |
|
||
| Affiliations |
|
Funding (1)
| 1 | Sobolev Institute of Mathematics | FWNF-2022-0011 |
Abstract:
Ранее были описаны все предтабличные расширения минимальной логики и решена проблема табличности. Всего над минимальной логикой оказалось семь предтабличных логик. Доказано, что четыре из них имеют интерполяционное свойство Крейга CIP и две не имеют. В данной статье решается вопрос о свойстве CIP в седьмой логике. Доказано, что она обладает интерполяционным свойством Крейга.
Cite:
Максимова Л.Л.
, Юн В.Ф.
Интерполяционное свойство Крейга в предтабличных логиках
Сибирский математический журнал. 2024. Т.65. №2. С.349-357. DOI: 10.33048/smzh.2024.65.209 РИНЦ
Интерполяционное свойство Крейга в предтабличных логиках
Сибирский математический журнал. 2024. Т.65. №2. С.349-357. DOI: 10.33048/smzh.2024.65.209 РИНЦ
Translated:
Maksimova L.L.
, Yun V.F.
Craig’s Interpolation Property in Pretabular Logics
Siberian Mathematical Journal. 2024. V.65. N2. P.344-350. DOI: 10.1134/s0037446624020095 WOS Scopus РИНЦ РИНЦ OpenAlex
Craig’s Interpolation Property in Pretabular Logics
Siberian Mathematical Journal. 2024. V.65. N2. P.344-350. DOI: 10.1134/s0037446624020095 WOS Scopus РИНЦ РИНЦ OpenAlex
Dates:
| Submitted: | Jul 13, 2023 |
| Accepted: | Jan 28, 2024 |
| Published print: | Mar 25, 2024 |
| Published online: | Mar 25, 2024 |
Identifiers:
| Elibrary: | 65623360 |
Citing:
Пока нет цитирований