电邮这篇文章 The Interpolation Problem in Finite-Layered Pre-Heyting Logics
- 作者: Maksimova L.L.1,2, Yun V.F.1,2
-
隶属关系:
- Sobolev Institute of Mathematics
- Novosibirsk State University, ul
- 期: 卷 58, 编号 2 (2019)
- 页面: 144-157
- 栏目: Article
- URL: https://journal-vniispk.ru/0002-5232/article/view/234128
- DOI: https://doi.org/10.1007/s10469-019-09533-3
- ID: 234128
如何引用文章
开放存取
##reader.subscriptionAccessGranted##
订阅存取
详细
The interpolation problem over Johansson’s minimal logic J is considered. We introduce a series of Johansson algebras, which will be used to prove a number of necessary conditions for a J-logic to possess Craig’s interpolation property (CIP). As a consequence, we deduce that there exist only finitely many finite-layered pre-Heyting algebras with CIP.
作者简介
L. Maksimova
Sobolev Institute of Mathematics; Novosibirsk State University, ul
编辑信件的主要联系方式.
Email: lmaksi@math.nsc.ru
俄罗斯联邦, pr. Akad. Koptyuga 4, Novosibirsk, 630090; Pirogova 1, Novosibirsk, 630090
V. Yun
Sobolev Institute of Mathematics; Novosibirsk State University, ul
Email: lmaksi@math.nsc.ru
俄罗斯联邦, pr. Akad. Koptyuga 4, Novosibirsk, 630090; Pirogova 1, Novosibirsk, 630090
补充文件
