Title :
Several results on de Morgan algebra and Kleene algebra of fuzzy logic
Author :
Deng, Jianming ; Umano, Motohide ; Oda, Tetsuhisa ; Uno, Yushi
Author_Institution :
Dept. of Comput. Sci. & Eng., Southeast Univ., Nanjing, China
fDate :
6/23/1905 12:00:00 AM
Abstract :
We present several results on de Morgan algebras and Kleene algebras of fuzzy logic. The main results include (1) a necessary and sufficient condition for a de Morgan algebra to be a Kleene algebra, (2) equivalence of some expressions, (3) some properties about de Morgan algebras with sup W+ and inf W-, (4) some properties of the de Morgan algebras which satisfy certain special conditions, (5) a method to obtain all fixed points of a de Morgan algebra and (6) extensions of some theorems on complete de Morgan algebras that have fixed points to the general case
Keywords :
fuzzy logic; fuzzy set theory; Kleene algebra; de Morgan algebra; fixed points; fuzzy logic; necessary and sufficient condition; Algebra; Art; Computer science; Educational institutions; Fuzzy logic; Information management; Lattices; Management information systems; Mathematics; Sufficient conditions;
Conference_Titel :
Fuzzy Systems, 2001. The 10th IEEE International Conference on
Conference_Location :
Melbourne, Vic.
Print_ISBN :
0-7803-7293-X
DOI :
10.1109/FUZZ.2001.1008857
