Extensions of the Minimal Logic and the Interpolation Problem | Sciact - Система учета научной деятельности ИМ СО РАН

Extensions of the Minimal Logic and the Interpolation Problem Научная публикация

Журнал

Siberian Mathematical Journal
ISSN: 0037-4466 , E-ISSN: 1573-9260

Вых. Данные

Год: 2018, Том: 59, Номер: 4, Страницы: 681-693 Страниц : 13 DOI: 10.1134/S0037446618040109

Ключевые слова

interpolation; Johansson algebra; minimal logic; recognizable logic

Авторы

Maksimova L.L. ^1,2 , Yun V.F. ^1,2

Организации

1	Sobolev Institute of Mathematics
2	Novosibirsk State University

Under study is the interpolation problem over Johansson’s minimal logic J. We give a detailed exposition of the current state of this difficult problem, establish Craig’s interpolation property for several extensions of J, prove the absence of CIP in some families of extensions of J, and survey the results on interpolation over J. Also, the relationship is discussed between the interpolation properties and the recognizability of logics. © 2018, Pleiades Publishing, Ltd.

Maksimova L.L. , Yun V.F.
Extensions of the Minimal Logic and the Interpolation Problem
Siberian Mathematical Journal. 2018. V.59. N4. P.681-693. DOI: 10.1134/S0037446618040109 WOS Scopus OpenAlex

Максимова Л.Л. , Юн В.Ф.
Расширения минимальной логики и проблема интерполяции
Сибирский математический журнал. 2018. Т.59. №4. С.863-878. DOI: 10.17377/smzh.2018.59.410

Web of science:	WOS:000443717700010
Scopus:	2-s2.0-85052984470
OpenAlex:	W2890506623

БД	Цитирований
Scopus	4
OpenAlex	2
Web of science	2