Title :
A characterization of Kleenean functions
Author :
Takagi, Noboru ; Kashima, Kyoichi Na ; Kikuchi, Hiroaki ; Mukaidono, Masao
Author_Institution :
Dept. of Electron. & Inf., Toyama Prefectural Univ., Japan
Abstract :
The paper deals with Kleenean sanctions defined as fuzzy logic functions with constants. Kleenean functions provide a means of handling conditions of indeterminate truth value (ambiguous states) which ordinary classical logic (binary logic) cannot cope with. The paper clarifies a necessary and sufficient condition for a function to be a Kleenean function. The condition is provided with a set of two conditions, and it is shown that they are independent of each other
Keywords :
functions; fuzzy logic; fuzzy set theory; multivalued logic; Kleenean functions; ambiguous states; constants; fuzzy logic functions; indeterminate truth value condition handling; Boolean functions; Computer science; Fuzzy logic; Fuzzy sets; Informatics; Lattices; Logic functions; Multivalued logic; Sufficient conditions;
Conference_Titel :
Multiple-Valued Logic, 1995. Proceedings., 25th International Symposium on
Conference_Location :
Bloomington, IN
Print_ISBN :
0-8186-7118-1
DOI :
10.1109/ISMVL.1995.513537