Congruence Relations on Lattice Implication Algebras
Yi Liu, Yang Xu, Ya Qin, Chengxi Liu · Journal of Mathematics Research · 2011
Lattice implication algebra is an important logic algebra, congruence relations is one of important contents in it. The basic properties and the structures of general congruence relations on lattice implication algebras are discussed; The results that a lattice implication algebra is congruence-permutable is obtained.