Skip to main content
Log in

The variety generated by semi-Heyting chains

Soft Computing Aims and scope Submit manuscript

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].

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Balbes R, Dwinger PH (1974) Distributive lattices. University of Missouri Press, Columbia

    MATH  Google Scholar 

  2. Birkhoff G (1967) Lattice theory, vol 25, 3rd edn. Colloquium Publications, Providence

  3. Burris S, Sankappanavar HP (1981) A course in universal algebra. Graduate texts in mathematics. Springer, New York, p 78

  4. Grätzer G (1971) Lattice theory. First concepts and distributive lattices. Freeman, San Francisco

    MATH  Google Scholar 

  5. Sankappanavar HP (2007) Semi-Heyting algebras: an abstraction from Heyting algebras. Actas del IX Congreso Dr. Antonio A.R. Monteiro, pp 33–66

Download references

Acknowledgments

The support of CONICET is grateful acknowledged by J. M. Cornejo and J. P. Díaz Varela.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to M. Abad.

Additional information

J. M. Cornejo dedicates this work to his wife, Carina Foresi.

Rights and permissions

Reprints 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

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00500-010-0604-0

Keywords

Navigation