Lattice Implication Algebras and Heyting-algebras
QI Lei-lei · Journal of Lanzhou Petrochemical College of Vocational Technology · 2011
The paper proves that a regular Heyting-algebra could be a lattice implication algebra and also be a lattice H implication algebra if it satisfied x→y=x′∨y,and the condition is sufficient and necessary.