Craig’s Interpolation Property in Pretabular Logics Научная публикация
| Журнал |
Siberian Mathematical Journal
ISSN: 0037-4466 , E-ISSN: 1573-9260 |
||
|---|---|---|---|
| Вых. Данные | Год: 2024, Том: 65, Номер: 2, Страницы: 344-350 Страниц : 7 DOI: 10.1134/s0037446624020095 | ||
| Ключевые слова | minimal logic, tabularity, pretabular logic, interpolation property | ||
| Авторы |
|
||
| Организации |
|
Информация о финансировании (1)
| 1 | Институт математики им. С.Л. Соболева СО РАН | FWNF-2022-0011 |
Реферат:
All pretabular extensions of the minimal logic were described and the tabularity problem was solved earlier. As turned out, in total, there are seven pretabular logics over the minimal logic. It was proved that four of them have Craig’s interpolation property (CIP) and two do not. In the present article, we solve the problem of CIP in the seventh logic. We prove that it has Craig’s interpolation property.
Библиографическая ссылка:
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
Оригинальная:
Максимова Л.Л.
, Юн В.Ф.
Интерполяционное свойство Крейга в предтабличных логиках
Сибирский математический журнал. 2024. Т.65. №2. С.349-357. DOI: 10.33048/smzh.2024.65.209 РИНЦ
Интерполяционное свойство Крейга в предтабличных логиках
Сибирский математический журнал. 2024. Т.65. №2. С.349-357. DOI: 10.33048/smzh.2024.65.209 РИНЦ
Даты:
| Поступила в редакцию: | 13 июл. 2023 г. |
| Принята к публикации: | 28 янв. 2024 г. |
| Опубликована в печати: | 25 мар. 2024 г. |
| Опубликована online: | 25 мар. 2024 г. |
Идентификаторы БД:
| Web of science: | WOS:001256062900007 |
| Scopus: | 2-s2.0-85188543517 |
| РИНЦ: | 66549865 | 67308251 |
| OpenAlex: | W4393167624 |
Цитирование в БД:
Пока нет цитирований