Daniel M. Bikel, Vittorio Castelli
ACL 2008
An algebra for multiple valued logic systems is presented in this paper. This algebra uses r-1 new concurrent operators along with the traditional supremum and cycle operators. It is also shown that r+1 operators are required to generate any r-valued logic function. Five new theorems, similar to DeMorgan's Laws, are then used to show that only one fundamental mapping is sufficient to represent any multi-valued logic function.
Daniel M. Bikel, Vittorio Castelli
ACL 2008
S.M. Sadjadi, S. Chen, et al.
TAPIA 2009
Michael C. McCord, Violetta Cavalli-Sforza
ACL 2007
Raymond F. Boyce, Donald D. Chamberlin, et al.
CACM