Extensions of the Minimal Logic and the Interpolation Problem
- Авторы: Maksimova L.1, Yun V.1
-
Учреждения:
- Sobolev Institute of Mathematics
- Выпуск: Том 59, № 4 (2018)
- Страницы: 681-693
- Раздел: Article
- URL: https://journals.rcsi.science/0037-4466/article/view/171971
- DOI: https://doi.org/10.1134/S0037446618040109
- ID: 171971
Цитировать
Аннотация
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.
Ключевые слова
Об авторах
L. Maksimova
Sobolev Institute of Mathematics
Автор, ответственный за переписку.
Email: lmaksi@math.nsc.ru
Россия, Novosibirsk
V. Yun
Sobolev Institute of Mathematics
Email: lmaksi@math.nsc.ru
Россия, Novosibirsk