Lattices of Theories in Languages without Equality

Abstract

If $\mathbf{S}$ is a semilattice with operators, then there is an implicational theory $\mathcal{Q}$ such that the congruence lattice $Con\left(\mathbf{S}\right)$ is isomorphic to the lattice of all implicational theories containing $\mathcal{Q}$.