The Lattice Variety Generated by $$\boldsymbol{L_{4}}$$. I
A. O. Basheyeva, М. V. Schwidefsky · Lobachevskii Journal of Mathematics · 2026
An equational basis of the lattice variety $$\mathbf{S}\mathbf{P}(L_{4})$$ generated by the finite non-semidistributive lattice $$L_{4}$$ is found in order to establish in a subsequent paper a duality result for the category of bi-algebraic lattices belonging to this variety.