3-VALUED PROPOSITIONAL CALCULUS OF LUKASIEWICZ AND 3-POSITION DOUBLE SWITCHES

被引：1

|

作者：

VALENTINUZZI, ME

机构：

来源：

IEEE TRANSACTIONS ON ELECTRONIC COMPUTERS | 1967年 / EC16卷 / 01期

关键词：

D O I：

10.1109/PGEC.1967.264604

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

引用

收藏

页码：39 / +

页数：1

相关论文

共 50 条

[1] The Equivalence of Medium Propositional Calculus MP and 3-Valued Lukasiewicz Propositional Calculus L3
Zhang DongmouNantong Textile School
[J]. Journal of Mathematical Research with Applications, 1991, (01) : 157 - 158
[2] FURTHER AXIOMATIZATIONS OF LUKASIEWICZ 3-VALUED CALCULUS
TURQUETT.AR
[J]. JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (03) : 500 - &
[3] COMPLETE CONNECTIVES FOR 3-VALUED PROPOSITIONAL CALCULUS
WHEELER, RF
[J]. JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (02) : 298 - &
[4] COMPLETE CONNECTIVES FOR 3-VALUED PROPOSITIONAL CALCULUS
WHEELER, RF
[J]. PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, 1966, 16 : 167 - +
[5] ALGEBRAIC CHARACTERISTICS OF A FUNCTIONALLY INCOMPLETE 3-VALUED PROPOSITIONAL CALCULUS
DENECKE, K
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1988, 34 (02): : 177 - 188
[6] GENTZENS TECHNIQUES IN 3-VALUED LOGIC OF LUKASIEWICZ
BECCHIO, D
PABION, JF
[J]. JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 123 - 124
[7] Rough algebras and 3-valued lukasiewicz algebras
Institute of Artificial Intelligence, Zhejiang University, Hangzhou 310027, China
不详
[J]. Jisuanji Xuebao, 2007, 2 (161-167): : 161 - 167
[8] Semantic minimization of 3-valued propositional formulae
Reps, T
Loginov, A
Sagiv, M
[J]. 17TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2002, : 40 - 51
[9] A 3-VALUED CALCULUS FOR DEONTIC LOGIC
DAWSON, EE
[J]. JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (02) : 278 - +
[10] ON THE CONSTRUCTION OF 3-VALUED LUKASIEWICZ-MOISIL ALGEBRAS
IORGULESCU, A
[J]. DISCRETE MATHEMATICS, 1984, 48 (2-3) : 213 - 227

← 1 2 3 4 5 →