DocumentCode
3087490
Title
A non-commutative multiple-valued logic
Author
Bignall, R.J.
Author_Institution
Sch. of Appl. Sci., Monash Univ. Coll., Gippsland, Vic., Australia
fYear
1991
fDate
26-29 May 1991
Firstpage
49
Lastpage
54
Abstract
A set of operations which can be used to design n -valued switching functions is given. These give rise to a class of algebras which are left-handed skew lattices together with dual implication operation. Such algebras form a decidable discriminator variety, and hence possess a well-behaved structure theory and satisfy many identities. Algorithms for the design and optimization of switching functions are outlined
Keywords
logic design; many-valued logics; minimisation of switching nets; algebras; decidable discriminator variety; dual implication operation; left-handed skew lattices; n-valued switching functions; noncommutative multiple valued logic; Australia; Books; Boolean algebra; Design optimization; Educational institutions; Lattices; Logic functions; Polynomials; Sections; Writing;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 1991., Proceedings of the Twenty-First International Symposium on
Conference_Location
Victoria, BC
Print_ISBN
0-8186-2145-1
Type
conf
DOI
10.1109/ISMVL.1991.130704
Filename
130704
Link To Document