Интерполяционное свойство Крейга в предтабличных логиках Научная публикация
| Журнал |
Сибирский математический журнал
ISSN: 0037-4474 |
||
|---|---|---|---|
| Вых. Данные | Год: 2024, Том: 65, Номер: 2, Страницы: 349-357 Страниц : 9 DOI: 10.33048/smzh.2024.65.209 | ||
| Ключевые слова | минимальная логика, табличность, предтабличная логика, интерполяционное свойство. | ||
| Авторы |
|
||
| Организации |
|
Информация о финансировании (1)
| 1 | Институт математики им. С.Л. Соболева СО РАН | FWNF-2022-0011 |
Реферат:
Ранее были описаны все предтабличные расширения минимальной логики и решена проблема табличности. Всего над минимальной логикой оказалось семь предтабличных логик. Доказано, что четыре из них имеют интерполяционное свойство Крейга CIP и две не имеют. В данной статье решается вопрос о свойстве CIP в седьмой логике. Доказано, что она обладает интерполяционным свойством Крейга.
Библиографическая ссылка:
Максимова Л.Л.
, Юн В.Ф.
Интерполяционное свойство Крейга в предтабличных логиках
Сибирский математический журнал. 2024. Т.65. №2. С.349-357. DOI: 10.33048/smzh.2024.65.209 РИНЦ
Интерполяционное свойство Крейга в предтабличных логиках
Сибирский математический журнал. 2024. Т.65. №2. С.349-357. DOI: 10.33048/smzh.2024.65.209 РИНЦ
Переводная:
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
Даты:
| Поступила в редакцию: | 13 июл. 2023 г. |
| Принята к публикации: | 28 янв. 2024 г. |
| Опубликована в печати: | 25 мар. 2024 г. |
| Опубликована online: | 25 мар. 2024 г. |
Идентификаторы БД:
| РИНЦ: | 65623360 |
Цитирование в БД:
Пока нет цитирований