Craig interpolation property for operator logics of proofs

被引：0
|
作者：
Sidon, TL [1 ]
机构：
[1] Moscow State Univ, Moscow, Russia
来源：
VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA | 1998年 / 02期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：34 / 38
页数：5
相关论文
共 50 条
  • [41] Interpolation in logics with constructors
    Gaina, Daniel
    THEORETICAL COMPUTER SCIENCE, 2013, 474 : 46 - 59
  • [42] On interpolation in existence logics
    Baaz, M
    Iemhoff, R
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3835 : 697 - 711
  • [43] On Combinatorial Proofs for Logics of Relevance and Entailment
    Acclavio, Matteo
    Strassburger, Lutz
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019), 2019, 11541 : 1 - 16
  • [44] COMPLETENESS PROOFS FOR SOME LOGICS OF PROGRAMS
    CHLEBUS, BS
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1982, 28 (01): : 49 - 62
  • [45] A Type Theory for Defining Logics and Proofs
    Pientka, Brigitte
    Thibodeau, David
    Abel, Andreas
    Ferreira, Francisco
    Zucchini, Rebecca
    2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,
  • [46] Interpolation and Beth's property in propositional many-valued logics: A semantic investigation
    Montagna, Franco
    ANNALS OF PURE AND APPLIED LOGIC, 2006, 141 (1-2) : 148 - 179
  • [47] ON CRAIG-LYNDON INTERPOLATION THEOREM
    OBERSCHELP, A
    JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (02) : 271 - +
  • [48] Applications of Craig interpolation to model checking
    McMillan, K
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2004, 3210 : 22 - 23
  • [49] CRAIG INTERPOLATION THEOREM AND AMALGAMABLE MANIFOLDS
    MAXIMOVA, LL
    DOKLADY AKADEMII NAUK SSSR, 1977, 237 (06): : 1281 - 1284
  • [50] Applications of Craig interpolation to model checking
    McMillan, K
    APPLICATIONS AND THEORY OF PETRI NETS 2005, PROCEEDINGS, 2005, 3536 : 15 - 16
12345