For any $n<\omega $ we construct an infinite $(n+1)$-generated Heyting algebra whose n-generated subalgebras are of cardinality $\leq m_n$ for some positive integer $m_n$. From this we conclude that for every $n<\omega $ there exists a variety of Heyting algebras which contains an infinite $(n+1)$-generated algebra, but which contains only finite n-generated algebras. For the case $n=2$ this provides a negative answer to a question posed by G. Bezhanishvili and R. Grigolia in [4].

We provide more characterizations of varieties with a weak difference term and of neutral varieties. We prove that a variety has a (weak) difference term (is neutral) with respect to the $\text{TC}$-commutator iff it has a (weak) difference term (is neutral) with respect to the linear commutator. We show that a variety $V$ is congruence meet semi-distributive iff $V$ is neutral, iff ${{M}_{3}}$ is not a sublattice of Con $\mathbf{A}$, for $\mathbf{A}\in V$, iff there is a positive integer $n$ such that $V{{\vDash }_{Con}}\alpha (\beta \,o\,\gamma )\le \alpha {{\beta }_{n}}$.

A unified study is undertaken of finitely generated varieties HSP () of distributive lattices with unary operations, extending work of Cornish. The generating algebra () is assusmed to be of the form (P; ∧, ∨, 0, 1, {fμ}), where each fμ is an endomorphism or dual endomorphism of (P; ∧, ∨, 0, 1), and the Priestly dual of this lattice is an ordered semigroup N whose elements act by left multiplication to give the maps dual to the operations fμ. Duality theory is fully developed within this framework, into which fit many varieties arising in algebraic logic. Conditions on N are given for the natural and Priestley dualities for HSP () to be essentially the same, so that, inter alia, coproducts in HSP () are enriched D-coproducts.

We characterize, by means of congruence identities, all varieties having a weak difference term, and all neutral varieties. Our characterization of varieties with a difference term is new even in the particular case of locally finite varieties.