This Article 
 Bibliographic References 
 Add to: 
Discrete Interval Truth Values Logic and Its Application
March 2000 (vol. 49 no. 3)
pp. 219-229

Abstract—In this paper, we focus on functions defined on a special subset of the power set of $\left\{0, 1, \ldots, r-1\right\}$ (the elements in the subset will be called discrete interval truth values) and operations on the truth values. The operations discussed in this paper will be called regular because they are one of the extensions of the regularity, which was first introduced by Kleene in his ternary logic. Mukaidono investigated some properties of ternary functions which can be represented by the regular operations. He called such ternary functions “regular ternary logic functions.” Regular ternary logic functions are useful for representing and analyzing ambiguities such as transient states and/or initial states in binary logic circuits that Boolean functions cannot cope with. Furthermore, they are also applied to studies of fail-safe systems for binary logic circuits. In this paper, we will discuss an extension of regular ternary logic functions to functions on the discrete interval truth values. First, we will suggest an extension of the regularity, in the sense of Kleene, into operations on the discrete interval truth values. We will then present some mathematical properties of functions on the discrete interval truth values consisting of regular operations and one application of these functions.

[1] S.C. Kleene, Introduction to Metamathematics, pp. 332-340, North-Holland, 1952.
[2] R.C.T. Lee and C.L. Chang, “Some Properties of Fuzzy Logic,” Information and Control, vol. 19, pp. 417-431, 1971.
[3] M. Mukaidono, “The B-Ternary Logic and Its Applications to the Detection of Hazards in Combinational Switching Circuits,” Proc. Eighth Int'l Symp. Multiple-Valued Logic, pp. 269-275, 1978.
[4] M. Mukaidono, “The Representation and Minimization of Fuzzy Switching Functions,” Analysis of Fuzzy Information, Volume I Mathematics and Logic, J.C. Bezdek, ed., pp. 213-229. CRC Press, year?.
[5] A. Kandel and J.M. Francioni, “On the Properties and Applications of Fuzzy-Valued Switching Function,” IEEE Trans. Computers, vol. 29, no. 11, pp. 986-994, Nov. 1980.
[6] K.C. Smith, “The Prospects for Multivalued Logic: A Technology and Applications View,” IEEE Trans. Computers, vol. 30, no. 9, pp. 619-634, Sept. 1981.
[7] S.L. Hurst, “Multiple-Valued Logic—Its Status and Its Future,” IEEE Trans. Computers, vol. 33, no. 12, pp. 1,160-1,179, Dec. 1984.
[8] M. Mukaidono, “Regular Ternary Logic Functions—Ternary Logic Functions Suitable for Treating Ambiguity,” IEEE Trans. Computers, vol. 35, no. 2, pp. 179-183, 1986.
[9] M. Mukaidono and I.G. Rosenberg, “K-Valued Functions for Treating Ambiguities,” Proc. 16th Int'l Symp. Multiple-Valued Logic, pp. 204-211, 1986.
[10] J.C. Muzio and T.C. Wesselkamper, Multiple-Valued Switching Theory. Adam Hilger Ltd., 1986.
[11] N. Takagi and M. Mukaidono, “Fundamental Properties of Multivalued Kleenean Functions,” Systems and Computers in Japan, vol. 23, no. 13, pp. 66-75, 1992.
[12] Y. Hata, K. Nakashima, and K. Yamato, “Some Fundamental Properties of Multiple-Valued Kleenean Functions and Determination of Their Logic Formulas,” IEEE Trans. Computers, vol. 42, no. 8, pp. 950-961, 1993.
[13] N. Takagi, K. Nakashima, and M. Mukaidono, “A Necessary and Sufficient Condition for Kleenean Functions,” IEICE Trans. Information and Systems, vol. E79-D, no. 11, pp. 1,511-1,517, 1996.
[14] N. Takagi, Y. Nakamura, and K. Nakashima, “Set-Valued Functions and Regularity,” Proc. 27th Int'l Symp. Multiple-Valued Logic, pp. 89-94, 1997.
[15] A. Ngom, C. Reischer, D.A. Simovici, and I. Stojmenovic, “Set-Valued Logic Algebra: A Carrier Computing Foundation,” Multiple-Valued Logic: An Int'l J., vol. 2, no. 3, pp. 183-216, 1997.
[16] W.E.L. Grimson, M. Leventon, G. Ettinger, A. Chabrerie, C.F. Ozlen, S. Nakajima, H. Atsumi, R. Kikinis, and P. Black, “Clinical Experience with a High Precision Image-Guided Neurosurgery System,” Proc. First Int'l Conf. Medical Image Computing and Computer-Assisted Intervention (MICCAI '98), pp. 63-73, 1998.
[17] I.G. Rosenberg, “Multiple-Valued Hyperstructures,” Proc. 28th Int'l Symp. Multiple-Valued Logic, pp. 328-333, 1998.
[18] R. Balbes and P. Dwinger, Distributive Lattices, pp. 39-64. Univ. of Missouri Press, 1974.

Index Terms:
Multiple-valued logic, set logic, set-valued function, regularity, static hazard.
Noboru Takagi, Kyoichi Nakashima, "Discrete Interval Truth Values Logic and Its Application," IEEE Transactions on Computers, vol. 49, no. 3, pp. 219-229, March 2000, doi:10.1109/12.841126
Usage of this product signifies your acceptance of the Terms of Use.