Leo Liberti, James Ostrowski
Journal of Global Optimization
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.
Leo Liberti, James Ostrowski
Journal of Global Optimization
Preeti Malakar, Thomas George, et al.
SC 2012
Liat Ein-Dor, Y. Goldschmidt, et al.
IBM J. Res. Dev
Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008