Title :
Some relationships between multiple-valued Kleenean functions and ternary input multiple-valued output functions
Author :
Hata, Yutaka ; Nakashima, Kyoichi ; Yamato, Kazuharu
Author_Institution :
Fac. of Eng., Himeji Inst. of Technol., Japan
Abstract :
The multiple-valued Kleenean functions discussed are multiple-valued-logic functions represented by multiple-valued AND, OR, NOT, constants, and variables. First, when p=odd, ternary input p-valued output functions (or (3, p)-functions for short) are defined, and when p=even, ternary input (p+1)-valued output functions ((3, p+1)-functions for short) are defined by adding the value (p-1)/2. A derivation rule is proposed as a link between (3, p)-functions (or (3, p+1)-functions and p-valued (or (p+1)-valued) Kleenean functions. For p=odd, the mapping from monotonic (3, p)-functions to p-valued Kleenean functions is a bijection. For p=even, since the mapping from monotonic (3, p+1)-functions to p-valued Kleenean functions is not a bijection, a condition which makes the mapping a bijection is developed. Moreover, Kleenean functions with no constants are derived from B-ternary logic functions by the rule; then the mapping is a bijection
Keywords :
many-valued logics; ternary logic; B-ternary logic functions; bijection; derivation rule; multiple-valued Kleenean functions; multiple-valued-logic functions; ternary input multiple-valued output functions; Algebra; Fuzzy logic; Fuzzy sets; Logic functions; Multivalued logic; Quantization; Sufficient conditions;
Conference_Titel :
Multiple-Valued Logic, 1990., Proceedings of the Twentieth International Symposium on
Conference_Location :
Charlotte, NC
Print_ISBN :
0-8186-2046-3
DOI :
10.1109/ISMVL.1990.122656