论文部分内容阅读
Lattice implication algebras is an algebraic structure which is established by combining lattice and implication algebras. In this paper,the relationship between lattice implication algebras and MV-algebra was discussed,and then proved that both of the categorys of the two algebras are categorical equivalence. Finally,the infinitely distributivity in lattice implication algebras were proved.