The decidability of craig's interpolation property in well-composed J-logics

被引：6
|
作者：
Maksimova, L. L. [1 ]
机构：
[1] Novosibirsk State Univ, Sobolev Inst Math, Novosibirsk 630090, Russia
来源：
SIBERIAN MATHEMATICAL JOURNAL | 2012年 / 53卷 / 05期
基金：
俄罗斯基础研究基金会;
关键词：
interpolation; minimal logic; well-composed logic;
D O I：
10.1134/S0037446612050096
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
Under study are the extensions of Johansson's minimal logic J. We find sufficient conditions for the finite approximability of J-logics in dependence on the form of their axioms. Using these conditions, we prove the decidability of Craig's interpolation property (CIP) in well-composed J-logics. Previously all J-logics with weak interpolation property (WIP) were described and the decidability of WIP over J was proved. Also we establish the decidability of the problem of amalgamability of well-composed varieties of J-algebras.
引用
收藏
页码：839 / 852
页数：14
相关论文
共 17 条
  • [1] The decidability of craig’s interpolation property in well-composed J-logics
    L. L. Maksimova
    Siberian Mathematical Journal, 2012, 53 : 839 - 852
  • [2] Interpolation and the projective Beth property in well-composed logics
    L. L. Maksimova
    Algebra and Logic, 2012, 51 : 163 - 184
  • [3] Interpolation and the projective Beth property in well-composed logics
    Maksimova, L. L.
    ALGEBRA AND LOGIC, 2012, 51 (02) : 163 - 184
  • [4] The projective Beth property in well-composed logics
    L. L. Maksimova
    Algebra and Logic, 2013, 52 : 116 - 136
  • [5] The projective Beth property in well-composed logics
    Maksimova, L. L.
    ALGEBRA AND LOGIC, 2013, 52 (02) : 116 - 136
  • [6] Craig's Interpolation Property in Pretabular Logics
    Maksimova, L. L.
    Yun, V. F.
    SIBERIAN MATHEMATICAL JOURNAL, 2024, 65 (02) : 344 - 350
  • [7] 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
  • [8] Craig interpolation property for operator logics of proofs
    Sidon, TL
    VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1998, (02): : 34 - 38
  • [9] HOW TO MAKE nD IMAGES WELL-COMPOSED WITHOUT INTERPOLATION
    Boutry, Nicolas
    Geraud, Thierry
    Najman, Laurent
    2015 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP), 2015, : 2149 - 2153
  • [10] On making nD images well-composed by a self-dual local interpolation
    Boutry, Nicolas
    Géraud, Thierry
    Najman, Laurent
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8668 : 120 - 131
12