The Interpolation Problem in Finite-Layered Pre-Heyting Logics

被引：1
|
作者：
Maksimova, L. L. [1 ,2 ]
Yun, V. F. [1 ,2 ]
机构：
[1] Sobolev Inst Math, Pr Akad Koptyuga 4, Novosibirsk 630090, Russia
[2] Novosibirsk State Univ, Ul Pirogova 1, Novosibirsk 630090, Russia
来源：
ALGEBRA AND LOGIC | 2019年 / 58卷 / 02期
关键词：
finite-layered pre-Heyting logic; Craig's interpolation property; Johansson algebra; MINIMAL LOGIC; DECIDABILITY; PROPERTY;
D O I：
10.1007/s10469-019-09533-3
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
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.
引用
收藏
页码：144 / 157
页数：14
相关论文
共 5 条
  • [1] The Interpolation Problem in Finite-Layered Pre-Heyting Logics
    L. L. Maksimova
    V. F. Yun
    Algebra and Logic, 2019, 58 : 144 - 157
  • [2] PERCEPTIBILITY IN PRE-HEYTING LOGICS
    Maksimova, L. L.
    Yun, V. F.
    SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2020, 17 : 1064 - 1072
  • [3] Recognizability in pre-Heyting and well-composed logics
    Maksimova, larisa L'vovna
    Yun, Veta Fedorovna
    SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2019, 16 : 427 - 434
  • [4] Decidability of the interpolation problem and of related properties in tabular logics
    L. L. Maksimova
    Algebra and Logic, 2009, 48 : 426 - 448
  • [5] DECIDABILITY OF THE INTERPOLATION PROBLEM AND OF RELATED PROPERTIES IN TABULAR LOGICS
    Maksimova, L. L.
    ALGEBRA AND LOGIC, 2009, 48 (06) : 426 - 448
1