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 条

[41] Expressive Completeness of Two-Variable First-Order Logic with Counting for First-Order Logic Queries on Rooted Unranked Trees
Hellings, Jelle
Gyssens, Marc
Van den Bussche, Jan
Van Gucht, Dirk
2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,
[42] Cut-elimination, completeness, and craig interpolation theorems for gurevich’s extended first-order intuitionistic logic with strong negation
Kamide, Norihiro
Journal of Applied Logics, 2021, 8 (05): : 1101 - 1121
[43] CUT-ELIMINATION, COMPLETENESS, AND CRAIG INTERPOLATION THEOREMS FOR GUREVICH'S EXTENDED FIRST-ORDER INTUITIONISTIC LOGIC WITH STRONG NEGATION
Kamide, Norihiro
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (05): : 1101 - 1121
[44] Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta
Baaz, Matthias
Preining, Norbert
Zach, Richard
ISMVL 2006: 36TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, 2006, : 56 - +
[45] Semantical Completeness of First-Order Predicate Logic and the Weak Fan Theorem
Victor N. Krivtsov
Studia Logica, 2015, 103 : 623 - 638
[46] A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS
Cintula, Petr
Noguera, Carles
JOURNAL OF SYMBOLIC LOGIC, 2015, 80 (01) : 341 - 358
[47] Semantical Completeness of First-Order Predicate Logic and the Weak Fan Theorem
Krivtsov, Victor N.
STUDIA LOGICA, 2015, 103 (03) : 623 - 638
[48] Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition
Nikitchenko, Mykola
Shkilniak, Oksana
Shkilniak, Stepan
Mamedov, Tohrul
COMPUTER SCIENCE JOURNAL OF MOLDOVA, 2019, 27 (02) : 162 - 187
[49] MOST GENERAL FIRST-ORDER THEOREMS ARE NOT RECURSIVELY-ENUMERABLE
SCHURZ, G
THEORETICAL COMPUTER SCIENCE, 1995, 147 (1-2) : 149 - 163
[50] Comparison theorems for multi-point first-order problems
Koksch, N
NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 1997, 29 (11) : 1237 - 1252

← 1 2 3 4 5 →