On lattices with Elkan's formula(Algebras, Languages, Computations and their Applications)
Michiro Kondo · Institutional Repositories DataBase (IRDB) · 2007
In this note we consider properties of lattices satisfying a special equa tion called Elkan's formula (E) : $(x\wedge y')'=y\vee(x'\wedge y')$ .We show that, for any lattice $L$ with a unary operator ' and a greatest element 1, if it satisfies (E) then $L^{\cdot}=\{x''|x\in L\}$ is a Boolean algebra.