THE CONSISTENCY OF A HIGHER-ORDER PREDICATE CALCULUS AND SET-THEORY BASED ON COMBINATORY-LOGIC

被引：0

|

作者：

BUNDER, MW

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1981年 / 46卷 / 01期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：182 / 182

页数：1

相关论文

共 50 条

[1] THE CONSISTENCY OF A HIGHER-ORDER PREDICATE CALCULUS AND SET-THEORY BASED ON COMBINATORY-LOGIC
BUNDER, MW
[J]. JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (02) : 425 - 425
[2] A COMBINATORY-LOGIC APPROACH TO HIGHER-ORDER E-UNIFICATION
DOUGHERTY, DJ
JOHANN, P
[J]. THEORETICAL COMPUTER SCIENCE, 1995, 139 (1-2) : 207 - 242
[3] A COMBINATORY-LOGIC APPROACH TO HIGHER-ORDER E-UNIFICATION
DOUGHERTY, DJ
JOHANN, P
[J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 79 - 93
[4] SYSTEMS OF ILLATIVE COMBINATORY-LOGIC COMPLETE FOR 1ST-ORDER PROPOSITIONAL AND PREDICATE CALCULUS
BARENDREGT, H
BUNDER, M
DEKKERS, W
[J]. JOURNAL OF SYMBOLIC LOGIC, 1993, 58 (03) : 769 - 788
[5] CONSISTENCY OF CLASSICAL SET-THEORY RELATIVE TO A SET-THEORY WITH INTUITIONISTIC LOGIC
FRIEDMAN, H
[J]. JOURNAL OF SYMBOLIC LOGIC, 1973, 38 (02) : 315 - 319
[6] HIGHER-ORDER ILLATIVE COMBINATORY LOGIC
Czajka, Lukasz
[J]. JOURNAL OF SYMBOLIC LOGIC, 2013, 78 (03) : 837 - 872
[7] COMBINATORY-LOGIC AS THE 1ST-ORDER MATHEMATICAL-THEORY
JIANG, MD
WEN, H
[J]. CHINESE SCIENCE BULLETIN, 1989, 34 (24): : 2079 - 2083
[8] Predicate abstractions in higher-order logic programming
Chen, WD
Warren, DS
[J]. NEW GENERATION COMPUTING, 1996, 14 (02) : 195 - 236
[9] Combining Higher-Order Logic with Set Theory Formalizations
Kaliszyk, Cezary
Pak, Karol
[J]. JOURNAL OF AUTOMATED REASONING, 2023, 67 (02)
[10] Higher-Order Logic or Set Theory: A False Dilemma
Shapiro, Stewart
[J]. PHILOSOPHIA MATHEMATICA, 2012, 20 (03) : 305 - 323

← 1 2 3 4 5 →