Kyungpook Mathematical Journal
- Volume 43 Issue 4
- /
- Pages.539-545
- /
- 2003
- /
- 1225-6951(pISSN)
- /
- 0454-8124(eISSN)
Remarks on the Valid Equations in Lattice Implication Algebras
-
JEONG, JOOHEE
(Department of Mathematics Education, Kyungpook National University)
- Received : 2002.10.01
- Published : 2003.11.23
Abstract
We present a set of equations that axiomatizes the class of all lattice implication algebras. The construction is different from the one given in [7], and the proof is direct: i.e., it does not rely on results from outside the realm of the lattice implication algebras, such as the theory of BCK-algebras. Then we show that the lattice H implication algebras are nothing more than the familiar Boolean algebras. Finally we obtain some negative results for the embedding of lattice implication algebras into Boolean algebras.