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 条
  • [31] INTERPOLATION AND THE ROBINSON PROPERTY FOR LOGICS NOT CLOSED UNDER THE BOOLEAN OPERATIONS
    ONO, H
    ALGEBRA UNIVERSALIS, 1986, 23 (02) : 111 - 122
  • [32] PRE-TABULARITY AND CRAIG'S INTERPOLATION PROPERTY OVER MINIMAL LOGIC
    Maksimova, Larisa L'vovna
    Yun, Veta Fedorovna
    SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2023, 20 (01): : 245 - 250
  • [33] Interpolation property for hypercyclic elements of the Taylor Shift operator
    Chatzigiannakidou, N.
    JOURNAL OF APPROXIMATION THEORY, 2019, 244 : 57 - 70
  • [34] Provability logics with quantifiers on proofs
    Yavorsky, RE
    ANNALS OF PURE AND APPLIED LOGIC, 2002, 113 (1-3) : 373 - 387
  • [35] Nonaxiomatizability of predicate logics of proofs
    Sidon, TL
    VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1998, (06): : 18 - 22
  • [36] Splitting Proofs for Interpolation
    Gleiss, Bernhard
    Kovacs, Laura
    Suda, Martin
    AUTOMATED DEDUCTION - CADE 26, 2017, 10395 : 291 - 309
  • [37] Craig Interpolation via Hypersequents
    Kuznets, Roman
    CONCEPTS OF PROOF IN MATHEMATICS, PHILOSOPHY, AND COMPUTER SCIENCE, 2016, 6 : 193 - 214
  • [38] Craig interpolation for networks of sentences
    Keisler, H. Jerome
    Keisler, Jeffrey M.
    ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (09) : 1322 - 1344
  • [39] Craig interpolation and reachability analysis
    McMillan, KL
    STATIC ANALYSIS, PROCEEDINGS, 2003, 2694 : 336 - 336
  • [40] Constructing Craig interpolation formulas
    Huang, GX
    COMPUTING AND COMBINATORICS, 1995, 959 : 181 - 190
12345