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 条
  • [21] LINDSTROM THEOREMS FOR FRAGMENTS OF FIRST-ORDER LOGIC
    Van Benthem, Johan
    Ten Cate, Balder
    Vaananen, Jouko
    LOGICAL METHODS IN COMPUTER SCIENCE, 2009, 5 (03)
  • [22] Weak cardinality theorems for first-order logic
    Tantau, T
    FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, 2003, 2751 : 400 - 411
  • [23] On the Constants in Inverse Theorems for the First-Order Derivative
    O. L. Vinogradov
    Vestnik St. Petersburg University, Mathematics, 2021, 54 : 334 - 344
  • [24] Fibring model first-order logics: Completeness preservation
    Sernadas, A
    Sernadas, C
    Zanardo, A
    LOGIC JOURNAL OF THE IGPL, 2002, 10 (04) : 413 - 451
  • [25] General models and completeness of first-order modal μ-calculus
    Kashima, Ryo
    Okamoto, Keishi
    JOURNAL OF LOGIC AND COMPUTATION, 2008, 18 (04) : 497 - 507
  • [26] NOTE ON CUT ELIMINATION AND COMPLETENESS IN FIRST-ORDER THEORIES
    BOWEN, KA
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1972, 18 (02): : 173 - &
  • [27] Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic
    Gianluca Grilletti
    Journal of Logic, Language and Information, 2021, 30 : 725 - 751
  • [28] Kripke completeness of first-order constructive logics with strong negation
    Hasuo, Ichiro
    Kashima, Ryo
    LOGIC JOURNAL OF THE IGPL, 2003, 11 (06) : 615 - 646
  • [29] Combinatorial Proofs and Decomposition Theorems for First-order Logic
    Hughes, Dominic J. D.
    Strassburger, Lutz
    Wu, Jui-Hsuan
    2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,
  • [30] Completeness for First-order Properties on Sparse Structures with Algorithmic Applications
    Gao, Jiawei
    Impagliazzo, Russell
    Kolokolova, Antonina
    Williams, Ryan
    ACM TRANSACTIONS ON ALGORITHMS, 2019, 15 (02)
12345