A characterization of r-valued functions monotonic in an order based on regularity

In this paper, we focus on r-valued functions for treating ambiguities. These functions are defined as r-valued functions monotonic in an order (denoted by <) which is a natural extension of the Kleene's regularity in his ternary logic. The order < is suitable for treating ambiguities. The functions were first introduced in Mukaidono (1986), and the authors have clarified some of their interesting mathematical properties. In this paper, we will show two different necessary and sufficient condition for an r-valued function to be monotonic in <. Next, we will discuss functions monotonic in < whose information loss are the minimal and the maximal. Then, we will give the representations of these two types of functions.

[1]  Masao Mukaidono.  Regular Ternary Logic Functions—Ternary Logic Functions Suitable for Treating Ambiguity , 1986, IEEE Transactions on Computers.

[2]  Masao Mukaidono,et al.  Uniqueness of partially specified multiple-valued Kleenean function , 1995, Proceedings 25th International Symposium on Multiple-Valued Logic.

[3]  Masao Mukaidono,et al.  A characterization of Kleenean functions , 1995, Proceedings 25th International Symposium on Multiple-Valued Logic.

[4]  Masao Mukaidono,et al.  P-Functions-Ternary Logic Functions Capable of Correcting Input Failures and Suitable for Treating Ambiguities , 1992, IEEE Trans. Computers.

[5]  Noboru Takagi,et al.  Set-valued functions and regularity , 1997, Proceedings 1997 27th International Symposium on Multiple- Valued Logic.

[6]  Yutaka Hata,et al.  Some Fundamental Properties of Multiple-Valued Kleenean Functions and Determination of Their Logic Formulas , 1993, IEEE Trans. Computers.

[7]  Masao Mukaidono,et al.  Fundamental properties of multivalued kleenean functions , 1992, Systems and Computers in Japan.