Complementary Elements and Structure of Lattice Implication Algebra
Jun Ma, Xu Yang · Mohu xitong yu shuxue · 2005
By corresponding properties and concepts of lattice implication algebra, we discussed the (methods) of determinating complementary element and constructing lattice implication algebra on (distributive) lattice in this paper. We proved that a lattice implicaton algebra could not be constructed on some type distributive. Moreover, we proved that a lattice implication algebra is chain-type if it has only one dual atom or has intermidiate element.