NOTE ON 3-VALUED LOGIC SIMULATION

被引：23

作者：

BREUER, MA

机构：

来源：

关键词：

D O I：

10.1109/TC.1972.5008985

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：399 / &

共 50 条

[31] Parametric shape analysis via 3-valued logic
Sagiv, M
Reps, T
Wilhelm, R
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2002, 24 (03): : 217 - 298
[32] Stone algebras: 3-valued logic and rough sets
Arun Kumar
Shilpi Kumari
Soft Computing, 2021, 25 : 12685 - 12692
[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] Abduction over 3-valued extended logic programs
Damasio, CV
Pereira, LM
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1995, 928 : 29 - 42
[38] RETURN OF LIAR - 3-VALUED LOGIC AND CONCEPT OF TRUTH
SKYRMS, B
AMERICAN PHILOSOPHICAL QUARTERLY, 1970, 7 (02) : 153 - 161
[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