GLOBALIZATION OF INTUITIONISTIC SET-THEORY

被引：72

作者：

TAKEUTI, G ^{[1
]}

TITANI, S ^{[1
]}

机构：

[1] UNIV WASHINGTON,SEATTLE,WA 98105

来源：

关键词：

D O I：

10.1016/0168-0072(87)90081-9

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

页码：195 / 211

页数：17

共 10 条

[1]

Fitch F. B., 1948, PORT MATH, V7, P113

[2]

GRAYSON RJ, 1979, APPLICATIONS SHEAVES, V753, P402

[3]

Grayson Robin J., 1975, THESIS OXFORD

[4]

OKADA H, NOTE GLOBAL INTUITIO

[5] EXTENDING GODELS NEGATIVE INTERPRETATION TO ZF [J].

POWELL, WC .

[6]

Prawitz D, 1965, STOCKHOLM STUDIES PH, V3

[7] INTUITIONISTIC FUZZY-LOGIC AND INTUITIONISTIC FUZZY SET-THEORY [J].

TAKEUTI, G ;

TITANI, S .

[8]

TAKEUTI G, 1981, LECT NOTES MATH, V891, P192

[9]

[No title captured]

[10]

[No title captured]