Lattice implication algebra is an algebraic structure that is established by combining lattice and implicative algebra. ......