Brouwerian lattice and lattice implication algebra both are important generalizations of Boolean algebras. In this paper, we investigate the relations between them, and verify that we can construct a lattice H implication algebras by closed elements of any Brouwerian lattice with 0.
展开▼