Representation of cubic lattices by symmetric implication algebras (Q862981)

A lattice \(L\) is called cubic [\textit{J. S. Oliveira}, The theory of cubic lattices. PhD thesis, MIT (1992)] if (1) for \(x \in L\), there is an order-preserving map \(\Delta_x:(x]\to(x]\); (2) \(\Delta^2_x=\text{Id}_{(x]}\); (3) for \(0<y\), \(z<x\), \(y\vee\Delta_x(z) <x\) iff \(y\wedge z=0\); (4) \(L\) is complete; (5) \(L\) is atomistic, i.e., if \(x\neq 0\) in \(L\), then there is an atom \(a\in L\) such that \(a\leq x\); (6) \(L\) is coatomistic, i.e., if \(x\neq 1\) in \(L\), then there is a coatom \(b\in L\) such that \(x\leq b\). It is shown that for any cubic lattice \(L\), \(L\setminus \{0\}\) can be represented as a power of the three-element simple symmetric implication algebra.