Skip to main content
SpringerLink
Log in

Subalgebras of Heyting and De Morgan Heyting Algebras

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In this paper we obtain characterizations of subalgebras of Heyting algebras and De Morgan Heyting algebras. In both cases we obtain these characterizations by defining certain equivalence relations on the Priestley-type topological representations of the corresponding algebras. As a particular case we derive the characterization of maximal subalgebras of Heyting algebras given by M. Adams for the finite case.

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

Access this article

Log in via an institution

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. Adams M.E. (1986) ‘Maximal Subalgebras of Heyting Algebras’. Proceedings of Edinburgh Mathematical Society, 29: 359–365

    Article  Google Scholar 

  2. Blyth T.S. (2005) Lattices and Ordered Algebraic Structures. Universitext, Springer-Verlag London

    Google Scholar 

  3. Monteiro A. (1980) ‘Sur les Algèbres de Heyting Symétriques’. Portugaliae Mathematica, 39: 1–237

    Google Scholar 

  4. Sankappanavar H.P. (1987) ‘Heyting Algebras with a Dual Lattice Endomorphism’. Zeitschr. f. math. Logik und Grundlagen d. Math. 33: 565–573

    Article  Google Scholar 

  5. Priestley H.A. (1970) ‘Representation of Distributive Lattices by means of Ordered Stone Spaces’. Bull. London Math. Soc. 2: 186–190

    Article  Google Scholar 

  6. Priestley H.A. (1972) ‘Ordered Topological Spaces and the Representation of Distributive Lattices’. Proc. London Math. Soc. 24: 507–530

    Article  Google Scholar 

  7. Priestley H.A. (1984) ‘Ordered Sets and Duality for Distributive Lattices’. Ann. Discrete Math. 23: 39–60

    Google Scholar 

  8. Koppelberg, S., ‘Topological duality’, in J. D. Monk and R. Bonnet (eds.), Handbook of Boolean Algebras, Vol. 1, North - Holland, Amsterdam - New York - Oxford - Tokyo, 1989, pp. 95–126.

Download references

Author information

Authors and Affiliations

  1. Departamento de Matemática, Facultad de Economía y Administración, Universidad Nacional del Comahue, 8300, Neuquén, Argentina

    Valeria Castaño & Marcela Muñoz Santis

Authors
  1. Valeria Castaño
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marcela Muñoz Santis
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Valeria Castaño.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Castaño, V., Muñoz Santis, M. Subalgebras of Heyting and De Morgan Heyting Algebras. Stud Logica 98, 123–139 (2011). https://doi.org/10.1007/s11225-011-9324-4

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-011-9324-4

Keywords

Search

Navigation