CONSISTENCY OF CLASSICAL SET-THEORY RELATIVE TO A SET-THEORY WITH INTUITIONISTIC LOGIC

被引：66

|

作者：

FRIEDMAN, H ^{[1
]}

机构：

[1] SUNY, AMHERST, NY 14226 USA

来源：

JOURNAL OF SYMBOLIC LOGIC | 1973年 / 38卷 / 02期

关键词：

D O I：

10.2307/2272068

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：315 / 319

页数：5

相关论文

共 50 条

[31] NONSTANDARD SET-THEORY
HRBACEK, K
AMERICAN MATHEMATICAL MONTHLY, 1979, 86 (08): : 659 - 677
[32] NONSTANDARD SET-THEORY
FLETCHER, P
JOURNAL OF SYMBOLIC LOGIC, 1989, 54 (03) : 1000 - 1008
[33] ON DISCUSSIVE SET-THEORY
DEMORAES, L
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (04) : 1100 - 1100
[34] FUZZY-LOGIC AND FUZZY SET-THEORY
TAKEUTI, G
TITANI, S
ARCHIVE FOR MATHEMATICAL LOGIC, 1992, 32 (01) : 1 - 32
[35] TOWARDS AUTOMATION OF SET-THEORY AND ITS LOGIC
BROWN, FM
ARTIFICIAL INTELLIGENCE, 1978, 10 (03) : 281 - 316
[36] AUTOMATIC SET-THEORY
LOWENTHAL, F
JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (03) : 459 - 460
[37] CORRECT SET-THEORY
NAKANO, H
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (01): : A29 - A30
[38] ARITHMETICAL SET-THEORY
STRAUSS, P
JOURNAL OF SYMBOLIC LOGIC, 1973, 38 (02) : 357 - 358
[39] A SET-THEORY ANALYSIS OF THE LOGIC OF THE 'I CHING'
FLEMING, J
JOURNAL OF CHINESE PHILOSOPHY, 1993, 20 (02) : 133 - 146
[40] CONSTRUCTIVE SET-THEORY WITH TYPES, CONSISTENCY WITH THE CHURCH THESIS
KASHAPOVA, FR
VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1984, (04): : 72 - 75

← 1 2 3 4 5 →