Title :
A non-commutative multiple-valued logic
Author_Institution :
Sch. of Appl. Sci., Monash Univ. Coll., Gippsland, Vic., Australia
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;
Conference_Titel :
Multiple-Valued Logic, 1991., Proceedings of the Twenty-First International Symposium on
Conference_Location :
Victoria, BC
Print_ISBN :
0-8186-2145-1
DOI :
10.1109/ISMVL.1991.130704
