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 条

[31] 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)
[32] Birkhoff Completeness for Hybrid-Dynamic First-Order Logic
Gaina, Daniel
Tutu, Ionut
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2019, 2019, 11714 : 277 - 293
[33] Completeness for First-Order Properties on Sparse Structures with Algorithmic Applications
Gao, Jiawei
Impagliazzo, Russell
Kolokolova, Antonina
Williams, Ryan
PROCEEDINGS OF THE TWENTY-EIGHTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, 2017, : 2162 - 2181
[34] Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic
Grilletti, Gianluca
JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2021, 30 (04) : 725 - 751
[35] Stability Theorems in the First-Order Approximation for Differential Inclusions
V. S. Klimov
Mathematical Notes, 2004, 76 : 478 - 489
[36] Semantic Completeness of First-Order Theories in Constructive Reverse Mathematics
Espindola, Christian
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2016, 57 (02) : 281 - 286
[37] STRONG COMPLETENESS OF A FIRST-ORDER TEMPORAL LOGIC FOR REAL TIME
Goldblatt, Robert
REVIEW OF SYMBOLIC LOGIC, 2024,
[38] Stability theorems in the first-order approximation for differential inclusions
Klimov, VS
MATHEMATICAL NOTES, 2004, 76 (3-4) : 478 - 489
[39] Compactness in first-order logic and its relation to the completeness theorem
Aliseda, A
CRITICA-REVISTA HISPANOAMERICANA DE FILOSOFIA, 1999, 31 (93): : 117 - 124
[40] Uniform proofs of standard completeness for extensions of first-order MTL
Baldi, Paolo
Ciabattoni, Agata
THEORETICAL COMPUTER SCIENCE, 2015, 603 : 43 - 57

← 1 2 3 4 5 →