Title :
A Method for Constructing Lattice Implication Algebras on the Interval [0,1]
Author :
Wang, Xue-fang ; Liu, Pei-shun
Author_Institution :
Sch. of Math. Sci., Ocean Univ. of China, Qingdao
Abstract :
The uniqueness of LIA-implication on some Kleene algebra is investigated and a method for constructing new lattice implication algebra on Kleene algebra is given. By this method we construct at least countable many lattice implication algebras on the real unit interval [0,1] which are different from Lukasiewicz implication algebra. This shows that Lukasiewicz implication algebra is not the unique lattice implication algebra on [0,1].
Keywords :
lattice theory; process algebra; Kleene algebra; LIA-implication; Lukasiewicz implication algebra; unique lattice implication algebra; Boolean algebra; Computer science; Concrete; Filters; Fuzzy systems; Lattices; Logic functions; Oceans; Lattice implication algebra; Lukasiewicz implication algebra; MV-algebra; prime dual ideal;
Conference_Titel :
Fuzzy Systems and Knowledge Discovery, 2008. FSKD '08. Fifth International Conference on
Conference_Location :
Shandong
Print_ISBN :
978-0-7695-3305-6
DOI :
10.1109/FSKD.2008.381
