Lattice Implication Algebras and Bounded Communicative BCK-algebras

• 格蕴含代数与有界交换BCK-代数