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 条
  • [41] On recursion-free Horn clauses and Craig interpolation
    Rummer, Philipp
    Hojjat, Hossein
    Kuncak, Viktor
    FORMAL METHODS IN SYSTEM DESIGN, 2015, 47 (01) : 1 - 25
  • [42] Guiding Craig interpolation with domain-specific abstractions
    Leroux, Jerome
    Rummer, Philipp
    Subotic, Pavle
    ACTA INFORMATICA, 2016, 53 (04) : 387 - 424
  • [43] Guiding Craig interpolation with domain-specific abstractions
    Jérôme Leroux
    Philipp Rümmer
    Pavle Subotić
    Acta Informatica, 2016, 53 : 387 - 424
  • [44] Craig Interpolation for Decidable First-Order Fragments
    ten Cate, Balder
    Comer, Jesse
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PT II, FOSSACS 2024, 2024, 14575 : 137 - 159
  • [45] Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems
    Teige, Tino
    Fraenzle, Martin
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2011, 6605 : 158 - 172
  • [46] An Institution-independent Proof of Craig Interpolation Theorem
    Răzvan Diaconescu
    Studia Logica, 2004, 77 (1) : 59 - 79
  • [47] Craig Interpolation with Clausal First-Order Tableaux
    Wernhard, Christoph
    Wernhard, Christoph (info@christophwerhard.com), 1600, Springer Science and Business Media B.V. (65): : 647 - 690
  • [48] INTERPOLATION PROPERTY IN SEMIGROUPS
    KOLLAR, J
    SEMIGROUP FORUM, 1979, 17 (04) : 337 - 350
  • [49] AN INTERPOLATION PROPERTY FOR SEMIGROUPS
    GRILLET, PA
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (01): : 107 - &
  • [50] A PROPERTY OF INTERPOLATION SPACES
    MALIGRANDA, L
    ARCHIV DER MATHEMATIK, 1987, 48 (01) : 82 - 84
12345