DEDUCTIVE ASPECTS OF 3-VALUED LOGIC

被引：0

|

作者：

SCHMITT, PH

机构：

来源：

LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | 1991年 / 546卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

收藏

页码：394 / 401

页数：8

相关论文

共 50 条

[1] A 3-VALUED SEMANTICS FOR DEDUCTIVE DATABASES AND LOGIC PROGRAMS
YOU, JH
YUAN, LY
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1994, 49 (02) : 334 - 361
[2] COMPUTATIONAL ASPECTS OF 3-VALUED LOGIC
SCHMITT, PH
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 190 - 198
[3] 3-VALUED LOGIC
PUTNAM, H
PHILOSOPHICAL STUDIES, 1957, 8 (05) : 73 - 80
[4] ARGUMENTS IN 3-VALUED LOGIC
WOODRUFF, PW
JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (04) : 637 - &
[5] PROGRAMMING IN 3-VALUED LOGIC
DELAHAYE, JP
THIBAU, V
THEORETICAL COMPUTER SCIENCE, 1991, 78 (01) : 189 - 216
[6] TREES FOR A 3-VALUED LOGIC
JOHNSON, F
ANALYSIS, 1984, 44 (01) : 43 - 46
[7] CONSTRUCTIVE 3-VALUED LOGIC
WOODRUFF, PW
JOURNAL OF SYMBOLIC LOGIC, 1970, 35 (01) : 183 - &
[8] 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
[9] MEDIUM LOGIC AND WOODRUFF 3-VALUED LOGIC
LI, X
LI, GY
CHINESE SCIENCE BULLETIN, 1990, 35 (08): : 622 - 626
[10] NOTE ON 3-VALUED LOGIC SIMULATION
BREUER, MA
IEEE TRANSACTIONS ON COMPUTERS, 1972, C 21 (04) : 399 - &

← 1 2 3 4 5 →