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 条
  • [31] FIRST-ORDER LOGIC OF TERMS
    SVENONIU.L
    JOURNAL OF SYMBOLIC LOGIC, 1973, 38 (02) : 177 - 188
  • [32] First-order logic: An introduction
    Adler, JE
    JOURNAL OF PHILOSOPHY, 2000, 97 (10): : 577 - 580
  • [33] First-order intensional logic
    Fitting, M
    ANNALS OF PURE AND APPLIED LOGIC, 2004, 127 (1-3) : 171 - 193
  • [34] The First-Order Logic of Hyperproperties
    Finkbeiner, Bernd
    Zimmermann, Martin
    34TH SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2017), 2017, 66
  • [35] COMPUTING WITH FIRST-ORDER LOGIC
    ABITEBOUL, S
    VIANU, V
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1995, 50 (02) : 309 - 335
  • [36] A First-order Logic with Frames
    Murali, Adithya
    Pena, Lucas
    Loeding, Christof
    Madhusudan, P.
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2023, 45 (02):
  • [37] Indistinguishability and first-order logic
    Jordan, Skip
    Zeugmann, Thomas
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2008, 4978 : 94 - 104
  • [38] First-order interpolation derived from propositional interpolation
    Baaz, Matthias
    Lolic, Anela
    THEORETICAL COMPUTER SCIENCE, 2020, 837 (837) : 209 - 222
  • [39] From separation logic to first-order logic
    Calcagno, C
    Gardner, P
    Hague, M
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2005, 3441 : 395 - 409
  • [40] From First-Order Logic to Assertional Logic
    Zhou, Yi
    ARTIFICIAL GENERAL INTELLIGENCE: 10TH INTERNATIONAL CONFERENCE, AGI 2017, 2017, 10414 : 87 - 97
12345