Title :
Fundamental properties of extended Kleene-Stone logic functions
Author :
Takagi, Noboru ; Nakashima, Kyoichi ; Mukaidono, Masao
Author_Institution :
Dept. of Electr. & Inf., Toyama Prefectural Univ., Japan
Abstract :
In order to treat modality (necessity, possibility) in fuzzy logic, the intuitionistic logical negation is required. Infinite multivalued logic functions that introduce the intuitionistic logical negation into fuzzy logic functions are called Kleene-Stone logic functions, and they make it possible to treat modality. The domain in which Kleene-Stone logic functions can handle modality, however, is too limited. The authors define α-KS logic functions as infinite multivalued logic functions using a unary operation instead of the intuitionistic logical negation of Kleene-Stone logic functions. Some algebraic properties of α-KS logic functions are demonstrated, and a necessary and sufficient condition for a seven-valued logic function to be an α-KS logic function is shown
Keywords :
fuzzy logic; many-valued logics; algebraic properties; alpha -KS logic functions; extended Kleene-Stone logic functions; fuzzy logic; intuitionistic logical negation; modality; multivalued logic functions; necessary and sufficient condition; unary operation; Computer science; Fuzzy logic; Informatics; Logic functions;
Conference_Titel :
Multiple-Valued Logic, 1992. Proceedings., Twenty-Second International Symposium on
Conference_Location :
Sendai
Print_ISBN :
0-8186-2680-1
DOI :
10.1109/ISMVL.1992.186802