FIRST-ORDER COMPLETENESS THEOREMS

被引：1
|
作者：
WAVRIK, JJ [1 ]
机构：
[1] UNIV CALIF,DEPT MATH,LA JOLLA,CA 92037
来源：
MATHEMATISCHE ANNALEN | 1973年 / 206卷 / 03期
关键词：
D O I：
10.1007/BF01429213
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：249 / 264
页数：16
相关论文
共 50 条
  • [1] Completeness theorems for (sic)▭-bundled fragment of first-order modal logic
    Wang, Xun
    SYNTHESE, 2023, 201 (04)
  • [2] Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory
    Forster, Yannick
    Kirst, Dominik
    Wehr, Dominik
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2020), 2020, 11972 : 47 - 74
  • [3] Completeness theorems for first-order logic analysed in constructive type theory
    Forster, Yannick
    Kirst, Dominik
    Wehr, Dominik
    JOURNAL OF LOGIC AND COMPUTATION, 2021, 31 (01) : 112 - 151
  • [4] Completeness for Generalized First-Order LTL
    Kamide, Norihiro
    KI 2010: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2010, 6359 : 246 - 254
  • [5] The completeness of Heyting first-order logic
    Tait, WW
    JOURNAL OF SYMBOLIC LOGIC, 2003, 68 (03) : 751 - 763
  • [6] ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY
    Carnielli, Walter
    Coniglio, Marcelo E.
    Podiacki, Rodrigo
    Rodrigues, Tarcisio
    REVIEW OF SYMBOLIC LOGIC, 2014, 7 (03): : 548 - 578
  • [7] FIRST-ORDER SYSTEMS - DUALITY AND COMPLETENESS
    KAUDERER, M
    JOURNAL OF THE OPTICAL SOCIETY OF AMERICA A-OPTICS IMAGE SCIENCE AND VISION, 1990, 7 (04): : 558 - 568
  • [8] Intuitionistic completeness of first-order logic
    Constable, Robert
    Bickford, Mark
    ANNALS OF PURE AND APPLIED LOGIC, 2014, 165 (01) : 164 - 198
  • [9] On the Completeness of Some First-order Extensions of C
    Olkhovikov, Grigory K.
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2023, 10 (01): : 57 - 114
  • [10] A PROOF OF COMPLETENESS FOR CONTINUOUS FIRST-ORDER LOGIC
    Ben Yaacov, Itai
    Pedersen, Arthur Paul
    JOURNAL OF SYMBOLIC LOGIC, 2010, 75 (01) : 168 - 190
12345