DocumentCode
477666
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
Volume
1
fYear
2008
fDate
18-20 Oct. 2008
Firstpage
116
Lastpage
121
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Fuzzy Systems and Knowledge Discovery, 2008. FSKD '08. Fifth International Conference on
Conference_Location
Shandong
Print_ISBN
978-0-7695-3305-6
Type
conf
DOI
10.1109/FSKD.2008.381
Filename
4665951
Link To Document