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