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 条
  • [11] Completeness for a First-Order Abstract Separation Logic
    Hou, Zhe
    Tiu, Alwen
    PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2016, 2016, 10017 : 444 - 463
  • [12] On the completeness of the root vectors of first-order systems
    M. M. Malamud
    L. L. Oridoroga
    Doklady Mathematics, 2010, 82 : 899 - 904
  • [13] STRUCTURAL COMPLETENESS OF FIRST-ORDER PREDICATE CALCULUS
    POGORZEL.WA
    PRUCNAL, T
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1974, 22 (03): : 215 - 217
  • [14] On the Completeness of the Root Vectors of First-Order Systems
    Malamud, M. M.
    Oridoroga, L. L.
    DOKLADY MATHEMATICS, 2010, 82 (03) : 899 - 904
  • [15] On the Completeness of Some First-order Extensions of C
    Olkhovikov, Grigory K.
    Journal of Applied Logics, 2023, 10 (01):
  • [16] Lindstrom theorems for fragments of first-order logic
    ten Cate, Balder
    van Benthem, Johan
    Vaeaenaenen, Jouko
    22ND ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2007, : 280 - +
  • [17] On the Constants in Inverse Theorems for the First-Order Derivative
    Vinogradov, O. L.
    VESTNIK ST PETERSBURG UNIVERSITY-MATHEMATICS, 2021, 54 (04) : 334 - 344
  • [18] A COMPLETENESS THEOREM OF FIRST-ORDER TEMPORAL LOGIC WITH EQUALITY
    唐同诰
    Science China Mathematics, 1985, (05) : 532 - 540
  • [19] Density elimination and rational completeness for first-order logics
    Ciabattoni, Agata
    Metcalfe, George
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2007, 4514 : 132 - +
  • [20] FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS
    Harrison-Trainor, Matthew
    REVIEW OF SYMBOLIC LOGIC, 2019, 12 (04): : 637 - 662
12345