Abstract
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].
Similar content being viewed by others
References
Balbes R, Dwinger PH (1974) Distributive lattices. University of Missouri Press, Columbia
Birkhoff G (1967) Lattice theory, vol 25, 3rd edn. Colloquium Publications, Providence
Burris S, Sankappanavar HP (1981) A course in universal algebra. Graduate texts in mathematics. Springer, New York, p 78
Grätzer G (1971) Lattice theory. First concepts and distributive lattices. Freeman, San Francisco
Sankappanavar HP (2007) Semi-Heyting algebras: an abstraction from Heyting algebras. Actas del IX Congreso Dr. Antonio A.R. Monteiro, pp 33–66
Acknowledgments
The support of CONICET is grateful acknowledged by J. M. Cornejo and J. P. Díaz Varela.
Author information
Authors and Affiliations
Corresponding author
Additional information
J. M. Cornejo dedicates this work to his wife, Carina Foresi.
Rights and permissions
About this article
Cite this article
Abad, M., Cornejo, J.M. & Díaz Varela, J.P. The variety generated by semi-Heyting chains. Soft Comput 15, 721–728 (2010). https://doi.org/10.1007/s00500-010-0604-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-010-0604-0