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].
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
