Pretabularity and Craig's Interpolation Property

被引：0
|
作者：
Maksimova, L. L. [1 ]
Yun, V. F. [1 ]
机构：
[1] Sobolev Inst Math, Novosibirsk, Russia
来源：
ALGEBRA AND LOGIC | 2023年 / 62卷 / 03期
关键词：
TABULARITY;
D O I：
10.1007/s10469-024-09742-5
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
[No abstract available]
引用
收藏
页码：277 / 282
页数：6
相关论文
共 50 条
  • [21] Craig interpolation for semilinear substructural logics
    Marchioni, Enrico
    Metcalfe, George
    MATHEMATICAL LOGIC QUARTERLY, 2012, 58 (06) : 468 - 481
  • [22] Craig Interpolation for Linear Temporal Languages
    Gheerbrant, Amelie
    ten Cate, Balder
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2009, 5771 : 287 - +
  • [23] Mechanising a proof of Craig's interpolation theorem for intuitionistic logic in nominal isabelle
    Chapman, Peter
    McKinna, James
    Urban, Christian
    INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS, 2008, 5144 : 38 - +
  • [24] CRAIG INTERPOLATION THEOREM FOR AN EXTENSION OF INTUITIONISTIC LOGIC
    RAUSZER, C
    JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 134 - 135
  • [25] Notes on Craig interpolation for LJ with strong negation
    Kamide, Norihiro
    MATHEMATICAL LOGIC QUARTERLY, 2011, 57 (04) : 395 - 399
  • [26] CRAIG INTERPOLATION THEOREM FOR AN EXTENSION OF INTUITIONISTIC LOGIC
    RAUSZER, C
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1977, 25 (04): : 337 - 341
  • [27] Preservation of Craig interpolation by the product of matrix logics
    Sernadas, C.
    Rasga, J.
    Sernadas, A.
    JOURNAL OF APPLIED LOGIC, 2013, 11 (03) : 328 - 349
  • [28] The Craig Interpolation Theorem in abstract model theory
    Jouko Väänänen
    Synthese, 2008, 164 : 401 - 420
  • [29] The Craig Interpolation Theorem in abstract model theory
    Vaananen, Jouko
    SYNTHESE, 2008, 164 (03) : 401 - 420
  • [30] Craig Interpolation of Epistemic Logics with Distributed Knowledge
    Murai, Ryo
    Sano, Katsuhiko
    FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, FOIKS 2020, 2020, 12012 : 211 - 221
12345