The Left Idempotent Elements of Lattice Implication Algebras
Xu Yang · Mohu xitong yu shuxue · 2001
We introduce the concept of left idempotent elements of lattice implication algebras, and discuss the properties of this elements. We prove that the set of all left idempotent elements of lattice implication algebra forms a lattice implication subalgebra and a residated sublattice, and the direct sum of the range and dual kernel of a left map constructed by a left idempotent element equals the lattice implication algebra.