Conference paper
Social networks and discovery in the enterprise (SaND)
Inbal Ronen, Elad Shahar, et al.
SIGIR 2009
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.
Inbal Ronen, Elad Shahar, et al.
SIGIR 2009
György E. Révész
Theoretical Computer Science
Robert C. Durbeck
IEEE TACON
David S. Kung
DAC 1998