NOTE ON CUT ELIMINATION AND COMPLETENESS IN FIRST-ORDER THEORIES

被引：0

|

作者：

BOWEN, KA

机构：

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1972年 / 18卷 / 02期

关键词：

D O I：

10.1002/malq.19720180807

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：173 / &

相关论文

共 50 条

[31] GENERIC COMPLEXITY OF FIRST-ORDER THEORIES
Rybalov, A. N.
SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2011, 8 : 168 - 178
[32] Extension of first-order theories into trees
Djelloul, Khalil
Dao, Thi-Bich-Hanh
ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS, 2006, 4120 : 53 - 67
[33] A COMPLETENESS THEOREM OF FIRST-ORDER TEMPORAL LOGIC WITH EQUALITY
唐同诰
Science China Mathematics, 1985, (05) : 532 - 540
[34] FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS
Harrison-Trainor, Matthew
REVIEW OF SYMBOLIC LOGIC, 2019, 12 (04): : 637 - 662
[35] Fibring model first-order logics: Completeness preservation
Sernadas, A
Sernadas, C
Zanardo, A
LOGIC JOURNAL OF THE IGPL, 2002, 10 (04) : 413 - 451
[36] General models and completeness of first-order modal μ-calculus
Kashima, Ryo
Okamoto, Keishi
JOURNAL OF LOGIC AND COMPUTATION, 2008, 18 (04) : 497 - 507
[37] Semantic Completeness of First-Order Theories in Constructive Reverse Mathematics (vol 57, pg 281, 2016)
Espindola, Christian
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2017, 58 (01) : 157 - 157
[38] A note on first-order projections and games
Arratia, AA
Stewart, IA
THEORETICAL COMPUTER SCIENCE, 2003, 290 (03) : 2085 - 2093
[39] Compact Propositional Encodings of First-Order Theories
Ramachandran, Deepak
Amir, Eyal
19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 1579 - 1580
[40] Interpreting first-order theories into a logic of records
Van De Vel M.
Studia Logica, 2002, 72 (3) : 411 - 432

← 1 2 3 4 5 →