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 条

[21] A uniform semantic proof for cut-elimination and completeness of various first and higher order logics
Okada, M
THEORETICAL COMPUTER SCIENCE, 2002, 281 (1-2) : 471 - 498
[22] The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
Oda, Yukihiro
Brotherston, James
Tatsuta, Makoto
JOURNAL OF LOGIC AND COMPUTATION, 2023,
[23] On the Classification of Unstable First-Order Theories
Mutchnik, Scott
ProQuest Dissertations and Theses Global, 2023,
[24] FIRST-ORDER THEORIES CATEGORIC IN A CARDINAL
RESSAYRE, JP
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 142 (AUG) : 481 - &
[25] ARITIES AND ARITIZABILITIES OF FIRST-ORDER THEORIES
Sudoplatov, S., V
SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2022, 19 (02): : 889 - 901
[26] The First-Order Theories of Dedekind Algebras
George Weaver
Studia Logica, 2003, 73 (3) : 337 - 365
[27] First-order theories of bounded trees
Kellerman, Ruaan
ARCHIVE FOR MATHEMATICAL LOGIC, 2022, 61 (1-2) : 263 - 297
[28] First-order theories of orthogonality structures
Kellerman, Ruaan
LOGIC JOURNAL OF THE IGPL, 2007, 15 (03) : 255 - 270
[29] First-order theories of bounded trees
Ruaan Kellerman
Archive for Mathematical Logic, 2022, 61 : 263 - 297
[30] Classifying toposes for first-order theories
Butz, C
Johnstone, P
ANNALS OF PURE AND APPLIED LOGIC, 1998, 91 (01) : 33 - 58

← 1 2 3 4 5 →