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 条
  • [31] Lyndon's interpolation property for the logic of strict implication
    Aboolian, Narbe
    Alizadeh, Majid
    LOGIC JOURNAL OF THE IGPL, 2022, 30 (01) : 34 - 70
  • [32] Craig Interpolation in the Presence of Non-linear Constraints
    Kupferschmid, Stefan
    Becker, Bernd
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2011, 6919 : 240 - 255
  • [33] The fixed point and the Craig interpolation properties for sublogics of IL
    Iwata, Sohei
    Kurahashi, Taishi
    Okawa, Yuya
    ARCHIVE FOR MATHEMATICAL LOGIC, 2024, 63 (1-2) : 1 - 37
  • [34] Craig Interpolation with Clausal First-Order Tableaux
    Wernhard, Christoph
    JOURNAL OF AUTOMATED REASONING, 2021, 65 (05) : 647 - 690
  • [35] On recursion-free Horn clauses and Craig interpolation
    Philipp Rümmer
    Hossein Hojjat
    Viktor Kuncak
    Formal Methods in System Design, 2015, 47 : 1 - 25
  • [36] Abstraction refinement with Craig interpolation and symbolic pushdown systems
    Esparza, J
    Kiefer, S
    Schwoon, S
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2006, 3920 : 489 - 503
  • [37] Craig Interpolation with Clausal First-Order Tableaux
    Christoph Wernhard
    Journal of Automated Reasoning, 2021, 65 : 647 - 690
  • [38] State of the union: Type inference via Craig interpolation
    Jhala, Ranjit
    Majumdar, Rupak
    Xu, Ru-Gang
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2007, 4424 : 553 - +
  • [39] Horn filter pairs and Craig interpolation in Propositional Logic
    Arndt, Peter
    Mariano, Hugo Luiz
    Pinto, Darllan Conceicao
    BOLETIN DE MATEMATICAS, 2023, 30 (02): : 9 - 9
  • [40] PROPOSITIONAL LOGICS WITH STRONG NEGATION AND THE CRAIG INTERPOLATION THEOREM
    GORANKO, VF
    DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1985, 38 (07): : 825 - 827
12345