Title :
A characterization of r-valued functions monotonic in an order based on regularity
Author :
Takagi, Noboru ; Honnami, A. ; Nakashima, Kyoichi
Author_Institution :
Dept. of Electron. & Inf., Toyama Prefectural Univ., kosugi, Japan
Abstract :
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
Keywords :
multivalued logic; monotonic; r-valued functions; regularity; ternary logic; Multivalued logic; Sufficient conditions;
Conference_Titel :
Multiple-Valued Logic, 1998. Proceedings. 1998 28th IEEE International Symposium on
Conference_Location :
Fukuoka
Print_ISBN :
0-8186-8371-6
DOI :
10.1109/ISMVL.1998.679293