The variety generated by semi-Heyting chains
The purpose of this paper was to investigate the structure of semi-Heyting chains and the variety \({{\mathcal{CSH}}}\) generated by them. We determine the number of non-isomorphic n-element semi-Heyting chains. As a contribution to the study of the lattice of subvarieties of \({{\mathcal{CSH}}},\) we investigate the inclusion relation between semi-Heyting chains. Finally, we provide equational bases for \({{\mathcal{CSH}}}\) and for the subvarieties of \({{\mathcal{CSH}}}\) introduced in [5].
varieties heyting algebras semi-heyting algebras