This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Some Fundamental Properties of Multiple-Valued Kleenean Functions and Determination of Their Logic Formulas
August 1993 (vol. 42 no. 8)
pp. 950-961

Multiple-valued Kleenean functions that are models of a Kleene algebra and are logic functions expressed by logic formulas composed of variables, constants, and logic operations AND OR, and NOT are discussed. The set of Kleenean functions, is a model with the largest number of logic functions among existing models of a Kleene algebra, such as fuzzy logic functions, regular ternary logic functions, and B-ternary logic functions. Mainly, it is shown that any p-valued Kleenean function is derived from a monotonic ternary input functions and any p-valued unate function is derived from a unate binary input function. The mapping relations between them and the method to determine the logic formula of the Kleenean function and unate function from that of the monotonic ternary input function and unate binary input function, respectively, are classified. 7-or-less-valued Kleenean functions and unate functions of 3-or-fewer variables are enumerated. It is known that the number of p-valued Kleenean functions increases stepwise and that of unate functions increases smoothly as p becomes larger.

[1] S. C. Kleene,Introduction to Metamathematics. Amsterdam: North-Holland, 1952, pp. 332-340.
[2] M. Mukaidono, "Regular ternary logic functions--Ternary logic functions suitable for treating ambiguity,"IEEE Trans. Comput., vol. C-35, pp. 179-183, Feb. 1986; available also inProc. IEEE 13th Int. Symp. Multiple-Valued Logic, May 1983, pp. 286-291.
[3] R. Cgnoli, "Injective De Morgen algebra and Kleene algebra,"Proc. Amer. Math. Soc., vol. 47, pp. 269-278, Feb. 1975.
[4] P. N. Marinos, "Fuzzy logic and its application to switching systems,"IEEE Trans. Comput., vol. C-18, pp. 343-348, Apr. 1969.
[5] A. Kandel, "On minimization of fuzzy functions,"IEEE Trans. Comput., vol. C-22, pp. 826-832, Sept. 1973.
[6] R. C. T. Lee and C-L. Chang, "Some properties of fuzzy logic,"Inf. Contr., vol. 19, pp. 417-431, 1971.
[7] M. Mukaidono, "On some properties of fuzzy logic,"Trans. IECE, Japan, vol. 58-D, pp. 150-157, Mar. 1975.
[8] M. Mukaidono, "An algebraic structure of fuzzy logic and its minimal and irredundunt form,"Syst. Comput. Contr., vol. 3, pp. 60-68, Dec. 1975.
[9] M. Mukaidono, "A set of independent and complete axioms for a fuzzy algebra (Kleene algebra)," inIEEE Proc. 11th Int. Symp. Multiple-Valued Logic, May 1981, pp. 27-34.
[10] J. Berman and M. Mukaidono, "Enumerating fuzzy switching functions and free Kleene algebra,"Comp. Math. Appls., vol. 10, no. 1, pp. 25-35, 1984.
[11] M. Mukaidono, "A necessary and sufficient condition for fuzzy logic functions," inIEEE Proc. 9th Int. Symp. Multiple-Valued Logic, May 1979, pp. 159-166.
[12] H. Tatumi and M. Mukaidono, "Enumerating regular ternary logic functions,"Trans. IECE, Japan, vol. J68-D, pp. 1027-1034, May 1985.
[13] Y. Yammato and M. Mukaidono, "Meaningful special classes of ternary logic functions--Regular ternary logic functions and ternary majority functions,"IEEE Trans. Comput., vol. 37, pp. 799-806, July 1988.
[14] M. Mukaidono, "The B-ternary logic and its application to the detection of hazards in combinational switching circuits," inProc. IEEE 8th Int. Symp. Multiple-Valued Logic, May 1978, pp. 269-275.
[15] M. Mukaidono, "On the B-ternary logical function--A ternary logic considering ambiguity,"Syst. Comput. Contr., vol. 3, pp. 60-68, Dec. 1975.
[16] M. Kallay, "Approximating a Composite Cubic Curve with One Fewer Pieces,"Computer-Aided Design, Vol. 19, No. 10, Dec. 1987, pp 539-543.
[17] K. Nakashima, Y. Hata, and K. Yamato, "A necessary and sufficient condition for multiple-valued logical functions to be positive functions,"Trans. IECE, Japan, vol. J69-D, pp. 488-490, Mar. 1986.
[18] Y. Hata, K. Nakashima, K. Yamato, and T. Kitahashi, "Multiple-valued logical functions derived from two-valued input multiple-valued output functions," inProc. IEEE 18th Int. Symp. Multiple-Valued Logic, May 1988, pp. 194-201.
[19] Y. Yamamoto and M. Mukaidono, "P-ternary logic functions--Ternary logic functions capable of correcting input failures," inIEEE Proc. 17th Int. Symp. Multiple-Valued Logic, May 1987, pp. 161-169.
[20] Y. Hata, T. Yuhara, K. Nakashima, and K. Yamato, "On the complexity for enumerations of multiple-valued Kleenean functions and unate functions," inIEEE Proc. 21st Int. Symp. Multiple-Valued Logic, May 1991, pp. 55-62.

Index Terms:
multiple-valued Kleenean functions; logic formulas; Kleene algebra; logic functions; variables; constants; fuzzy logic functions; regular ternary logic functions; B-ternary logic functions; monotonic ternary input functions; p-valued unate function; mapping relations; fuzzy logic; many-valued logics.
Citation:
Y. Hata, K. Nakashima, K. Yamato, "Some Fundamental Properties of Multiple-Valued Kleenean Functions and Determination of Their Logic Formulas," IEEE Transactions on Computers, vol. 42, no. 8, pp. 950-961, Aug. 1993, doi:10.1109/12.238485
Usage of this product signifies your acceptance of the Terms of Use.