Extensions of the Minimal Logic and the Interpolation Problem Full article
| Journal |
Siberian Mathematical Journal
ISSN: 0037-4466 , E-ISSN: 1573-9260 |
||||
|---|---|---|---|---|---|
| Output data | Year: 2018, Volume: 59, Number: 4, Pages: 681-693 Pages count : 13 DOI: 10.1134/S0037446618040109 | ||||
| Tags | interpolation; Johansson algebra; minimal logic; recognizable logic | ||||
| Authors |
|
||||
| Affiliations |
|
Abstract:
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.
Cite:
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
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
Original:
Максимова Л.Л.
, Юн В.Ф.
Расширения минимальной логики и проблема интерполяции
Сибирский математический журнал. 2018. Т.59. №4. С.863-878. DOI: 10.17377/smzh.2018.59.410
Расширения минимальной логики и проблема интерполяции
Сибирский математический журнал. 2018. Т.59. №4. С.863-878. DOI: 10.17377/smzh.2018.59.410
Identifiers:
| Web of science: | WOS:000443717700010 |
| Scopus: | 2-s2.0-85052984470 |
| OpenAlex: | W2890506623 |