UNIFORM INTERPOLATION LEMMA FOR FIRST-ORDER LOGIC WITH EQUALITY

被引：0
|
作者：
WEAVER, GE
机构：
来源：
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY | 1972年 / 19卷 / 04期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：A535 / &
相关论文
共 50 条
  • [1] UNIFORM COMPACTNESS AND INTERPOLATION LEMMAS IN FIRST-ORDER LOGIC
    WEAVER, G
    JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 394 - 394
  • [2] Interpolation in Extensions of First-Order Logic
    Guido Gherardi
    Paolo Maffezioli
    Eugenio Orlandelli
    Studia Logica, 2020, 108 : 619 - 648
  • [3] Interpolation in Extensions of First-Order Logic
    Gherardi, Guido
    Maffezioli, Paolo
    Orlandelli, Eugenio
    STUDIA LOGICA, 2020, 108 (03) : 619 - 648
  • [4] UNIFORM INTERPOLATION LEMMA IN 2ND ORDER LOGIC
    WEAVER, G
    WOODRING, K
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (06): : A647 - A647
  • [5] Reflecting proofs in first-order logic with equality
    Contejean, E
    Corbineau, P
    AUTOMATED DEDUCTION - CADE-20, PROCEEDINGS, 2005, 3632 : 7 - 22
  • [6] Equality and monodic first-order temporal logic
    Degtyarev A.
    Fisher M.
    Lisitsa A.
    Studia Logica, 2002, 72 (2) : 147 - 156
  • [7] UNIFORM COMPACTNESS THEOREM IN FIRST-ORDER LOGIC
    WEAVER, GE
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (06): : A588 - A588
  • [8] A tetrachotomy for positive first-order logic without equality
    Madelaine, Florent
    Martin, Barnaby
    26TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2011), 2011, : 311 - 320
  • [9] SCL(EQ): SCL for First-Order Logic with Equality
    Leidinger, Hendrik
    Weidenbach, Christoph
    JOURNAL OF AUTOMATED REASONING, 2023, 67 (03)
  • [10] SCL(EQ): SCL for First-Order Logic with Equality
    Leidinger, Hendrik
    Weidenbach, Christoph
    AUTOMATED REASONING, IJCAR 2022, 2022, 13385 : 228 - 247
12345