A COMPLETE FIRST-ORDER LOGIC WITH INFINITARY PREDICATES

被引：0

|

作者：

KARP, C

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1966年 / 31卷 / 02期

关键词：

D O I：

10.2307/2269833

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：269 / &

相关论文

共 50 条

[1] An interpolation theorem for first order logic with infinitary predicates
Sayed-Ahmed, Tarek
LOGIC JOURNAL OF THE IGPL, 2007, 15 (01) : 21 - 32
[2] Infinitary first-order categorical logic
Espindola, Christian
ANNALS OF PURE AND APPLIED LOGIC, 2019, 170 (02) : 137 - 162
[3] First-Order Logic with Reachability Predicates on Infinite Systems
Schulz, Stefan
IARCS ANNUAL CONFERENCE ON FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE (FSTTCS 2010), 2010, 8 : 493 - 504
[4] ONE QUANTIFIER ALTERNATION IN FIRST-ORDER LOGIC WITH MODULAR PREDICATES
Kufleitner, Manfred
Walter, Tobias
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2015, 49 (01): : 1 - 22
[5] The resolution method for the first-order predicate logic with interpreted predicates
Nigiyan, SA
DOKLADY AKADEMII NAUK, 1998, 359 (02) : 168 - 170
[6] 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
[7] First-Order Logic and Its Infinitary Quantifier Extensions over Countable Words
Adsul, Bharat
Sarkar, Saptarshi
Sreejith, A., V
FUNDAMENTALS OF COMPUTATION THEORY, FCT 2021, 2021, 12867 : 39 - 52
[8] THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
Passmann, Robert
JOURNAL OF SYMBOLIC LOGIC, 2024, 89 (01) : 308 - 330
[9] FIRST-ORDER LOGICS OF QUASIARY PREDICATES
Shkilniak, S. S.
CYBERNETICS AND SYSTEMS ANALYSIS, 2010, 46 (06) : 884 - 899
[10] First-Order Logic and First-Order Functions
Freire, Rodrigo A.
LOGICA UNIVERSALIS, 2015, 9 (03) : 281 - 329

← 1 2 3 4 5 →