Предтабличность и интерполяционное свойство Крейга над минимальной логикой Научная публикация
| Журнал |
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports)
, E-ISSN: 1813-3304 |
||
|---|---|---|---|
| Вых. Данные | Год: 2023, Том: 20, Номер: 1, Страницы: 245-250 Страниц : 6 DOI: 10.33048/semi.2023.20.019 | ||
| Ключевые слова | minimal logic, tabularity, pre-tabular logic, interpolation problem. | ||
| Авторы |
|
||
| Организации |
|
Информация о финансировании (1)
| 1 | Институт математики им. С.Л. Соболева СО РАН | FWNF-2022-0011 |
Реферат:
In this paper [1] the tabularity problem was solved and all pre-tabular extensions of the minimal logic were described. In total, there turned out to be seven pre-tabular logics over the minimal logic. In this article, we will prove that four of them have the Craig's interpolation property CIP and two do not have. The question of CIP in the seventh logic is still open.
Библиографическая ссылка:
Максимова Л.Л.
, Юн В.Ф.
Предтабличность и интерполяционное свойство Крейга над минимальной логикой
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2023. Т.20. №1. С.245-250. DOI: 10.33048/semi.2023.20.019 WOS Scopus РИНЦ
Предтабличность и интерполяционное свойство Крейга над минимальной логикой
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2023. Т.20. №1. С.245-250. DOI: 10.33048/semi.2023.20.019 WOS Scopus РИНЦ
Даты:
| Поступила в редакцию: | 1 янв. 2022 г. |
| Опубликована в печати: | 13 мар. 2023 г. |
| Опубликована online: | 13 мар. 2023 г. |
Идентификаторы БД:
| Web of science: | WOS:000959070400013 |
| Scopus: | 2-s2.0-85150859756 |
| РИНЦ: | 54768291 |