DocumentCode
1976129
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
fYear
1990
fDate
23-25 May 1990
Firstpage
410
Lastpage
417
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 1990., Proceedings of the Twentieth International Symposium on
Conference_Location
Charlotte, NC
Print_ISBN
0-8186-2046-3
Type
conf
DOI
10.1109/ISMVL.1990.122656
Filename
122656
Link To Document