GUHA METHOD IN 3-VALUED LOGIC

被引：0

作者：

RAUCH, J ^{[1
]}

机构：

[1] TECH SCH PRAGUE,SOLINOVA 7,16608 PRAGUE,CZECHOSLOVAKIA

来源：

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：101 / 113

页数：13

共 50 条

[1] 3-VALUED LOGIC
PUTNAM, H
PHILOSOPHICAL STUDIES, 1957, 8 (05) : 73 - 80
[2] ARGUMENTS IN 3-VALUED LOGIC
WOODRUFF, PW
JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (04) : 637 - &
[3] PROGRAMMING IN 3-VALUED LOGIC
DELAHAYE, JP
THIBAU, V
THEORETICAL COMPUTER SCIENCE, 1991, 78 (01) : 189 - 216
[4] TREES FOR A 3-VALUED LOGIC
JOHNSON, F
ANALYSIS, 1984, 44 (01) : 43 - 46
[5] CONSTRUCTIVE 3-VALUED LOGIC
WOODRUFF, PW
JOURNAL OF SYMBOLIC LOGIC, 1970, 35 (01) : 183 - &
[6] INTUITIONISTIC 3-VALUED LOGIC AND LOGIC PROGRAMMING
VAUZEILLES, J
STRAUSS, A
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1991, 25 (06): : 557 - 587
[7] MEDIUM LOGIC AND WOODRUFF 3-VALUED LOGIC
LI, X
LI, GY
CHINESE SCIENCE BULLETIN, 1990, 35 (08): : 622 - 626
[8] NOTE ON 3-VALUED LOGIC SIMULATION
BREUER, MA
IEEE TRANSACTIONS ON COMPUTERS, 1972, C 21 (04) : 399 - &
[9] MONADIC FUNCTORS IN A 3-VALUED LOGIC
SADE, AJ
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (03): : 579 - &
[10] CLASSICAL, INTUITIONISTIC OR 3-VALUED LOGIC
HINST, P
ZEITSCHRIFT FUR PHILOSOPHISCHE FORSCHUNG, 1977, 31 (01): : 61 - 78