Equations in the theory of \(Q\)-distributive lattices
A \(Q\)-distributive lattice is a bounded distributive lattice \(L\) with a quantifier on \(L\). In this paper the author finds for each variety of \(Q\)-distributive lattices, an equation which determines it and gives a characterization of the minimum number of variables needed in such an equation.
scientific article; zbMATH DE number 1110021