NOTE ON 3-VALUED LOGIC SIMULATION

被引：23

|

作者：

BREUER, MA

机构：

来源：

IEEE TRANSACTIONS ON COMPUTERS | 1972年 / C 21卷 / 04期

关键词：

D O I：

10.1109/TC.1972.5008985

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

收藏

页码：399 / &

相关论文

共 50 条

[31] Stone algebras: 3-valued logic and rough sets
Arun Kumar
Shilpi Kumari
Soft Computing, 2021, 25 : 12685 - 12692
[32] Static program analysis via 3-valued logic
Reps, TW
Sagiv, M
Wilheim, R
COMPUTER AIDED VERIFICATION, 2004, 3114 : 15 - 30
[33] A paraconsistent 3-valued logic related to Godel logic G3
Robles, Gemma
Mendez, Jose M.
LOGIC JOURNAL OF THE IGPL, 2014, 22 (04) : 515 - 538
[34] Stone algebras: 3-valued logic and rough sets
Kumar, Arun
Kumari, Shilpi
SOFT COMPUTING, 2021, 25 (20) : 12685 - 12692
[35] 3-VALUED NONMONOTONIC FORMALISMS AND SEMANTICS OF LOGIC PROGRAMS
PRZYMUSINSKI, T
ARTIFICIAL INTELLIGENCE, 1991, 49 (1-3) : 309 - 343
[36] SOME MODAL LOGICS BASED ON A 3-VALUED LOGIC
SEGERBERG, K
THEORIA, 1967, 33 : 53 - 71
[37] RETURN OF LIAR - 3-VALUED LOGIC AND CONCEPT OF TRUTH
SKYRMS, B
AMERICAN PHILOSOPHICAL QUARTERLY, 1970, 7 (02) : 153 - 161
[38] Abduction over 3-valued extended logic programs
Damasio, CV
Pereira, LM
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1995, 928 : 29 - 42
[39] Abduction over 3-valued extended logic programs
Int J Pressure Vessels Piping, 2 (29):
[40] Fast Garbling of Circuits over 3-Valued Logic
Lindell, Yehuda
Yanai, Avishay
PUBLIC-KEY CRYPTOGRAPHY - PKC 2018, PT I, 2018, 10769 : 620 - 643

← 1 2 3 4 5 →