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 |
Year | DOI | Venue |
---|---|---|
2001 | 10.1109/FUZZ.2001.1008857 | FUZZ-IEEE |
Keywords | Field | DocType |
lattice,fixed points,fuzzy set theory,kleene algebra,de morgan algebra,necessary and sufficient condition,fuzzy logic,fixed point,computer science,information management,management information systems,mathematics,satisfiability,lattices,art,algebra | Interior algebra,Kleene algebra,Discrete mathematics,De Morgan algebra,Boolean algebra (structure),Division algebra,Cellular algebra,Jordan algebra,Mathematics,Algebra representation | Conference |
Volume | Citations | PageRank |
3 | 0 | 0.34 |
References | Authors | |
0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jianming Deng | 1 | 0 | 0.68 |
Motohide Umano | 2 | 183 | 28.91 |
Tetsuhisa Oda | 3 | 0 | 1.01 |
yushi uno | 4 | 222 | 28.80 |