Lattice Implication Algebras and Lukasiewicz Logic Systems
Zhu Yi-quan · Acta Scientiarum Naturalium Universitatis Neimongol · 2004
The relationship between lattice implication algebras and Lukasiewicz logic systems is discussed.The followings are main results:if (L_((n)),) is a chain of n elements with a least element θ and a greatest element I,then there exists a unique lattice implication algebra (L_((n)),∨,∧,→,′,θ,I) such that becoming its derived relation,and it is isomorphic to the n-valued Lukasiewicz Logic System.