USE OF 3-VALUED LOGIC FOR DESCRIBING RELIABILITY OF SAFETY SYSTEMS

被引：0

作者：

BANFI, A

GARRIBBA, S

MUSSIO, P

NALDI, F

VOLTA, G

机构：

[1] CESNEF,DEPT NUCL ENGN,I-20133 MILANO,ITALY

[2] CNR,I-20133 MILANO,ITALY

[3] EURATOM,JNRC,I-21020 ISPRA,ITALY

来源：

TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY | 1976年 / 24卷 / NOV19期

关键词：

D O I：

暂无

中图分类号：

TL [原子能技术]; O571 [原子核物理学];

学科分类号：

0827 ; 082701 ;

摘要：

引用

页码：326 / 327

页数：2

共 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