Equational bases for varieties of Ockham algebras (Q5906612)

The authors introduce a technique for finding equational bases for certain varieties of distributive lattice ordered algebras. They restrict their attention to varieties of Ockham algebras because such varieties were the first ones they investigated in this context and they are able to present the underlying theory without too many notational and technical complications. Ockham algebras form a rich lattice of varieties which have been extensively studied. Equational bases have been found for all subvarieties of certain small varieties, but in the opinion of the authors, these studies are essentially ad hoc. The authors present a purely algorithmic approach for generating equational bases. Identities defining a variety \(A\) reside in the free algebras \(\text{FA}(s)\) \((1\leq s<\omega)\).They show how this statement has a precise interpretation in terms of duality theory, which makes a set of defining identities for \(A\) quite transparent.