Dualities for varieties of distributive lattices with unary operations II
This paper extends to the general setting of [11], [25] procedures presented earlier for varieties of Ockham algebras. Given a suitable finitely generated variety A of distributive-lattice-ordered algebras with unary operations, in which the subdirectly irreducible algebras are assumed to have been pre-determined, a natural duality, free algebras and coproducts can be obtained algorithmically for any prescribed subvariety of A. Further, the meet-irreducible members of the lattice of equational theories of A can be written down. The theory is illustrated by carrying this programme through for varieties of double MS-algebras.