Skip to main content
Log in

Free Modal Lattices via Priestley Duality

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

A Priestley duality is developed for the variety j ω of all modal lattices. This is achieved by restricting to j ω a known Priestley duality for the variety of all bounded distributive lattices with a meet-homomorphism. The variety j ω was first studied by R. Beazer in 1986.

The dual spaces of free modal lattices are constructed, paralleling P.R. Halmos' construction of the dual spaces of free monadic Boolean algebras and its generalization, by R. Cignoli, to distributive lattices with a quantifier.

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. M. E. Adamsand W. Dziobiak(eds), ‘Special issue on Priestley duality’, Studia Logica56 (1996)

  2. R. Beazer, ‘Varieties of modal lattices’, Houston J. Math.12 (1986), 357-369

    Google Scholar 

  3. Roberto Cignoli, ‘Free Q-distributive lattices’, Studia Logica56 (1996), 23-29

    Google Scholar 

  4. R. Cignoli, S. Lafalceand A. Petrovich, ‘Remarks on Priestley duality for distributive lattices’, Order8 (1991), 299-315

    Google Scholar 

  5. David M. Clarkand Brian A. Davey, ‘Natural dualities for the working algebraist’, Cambridge Studies in Advanced Mathematics57, Cambridge University Press (1998)

  6. Robert I. Goldblatt, ‘Grothendieck topology as geometric modality’, Z. Math. Logik Grundlag. Math.27 (1981), 495-529

    Google Scholar 

  7. Robert Goldblatt, ‘Varieties of complex algebras’, Ann. Pure Appl. Logic44 (1989), 173-242

    Google Scholar 

  8. George GrÄtzer, General Lattice Theory, Birkhäuser Verlag, Basel (1998)

    Google Scholar 

  9. Paul R. Halmos, ‘Free monadic algebras’, Proc. Amer. Math. Soc.10 (1959), 219-227

    Google Scholar 

  10. P. T. Johnstone, ‘The art of pointless thinking: a student's guide to the category of locales’, Category theory at work (Bremen, 1990), Res. Exp. Math.18, Heldermann, Berlin (1991), 85-107

    Google Scholar 

  11. S. MacLane, and I. Moerdijk, ‘Topos theory’, in Handbook of Algebra, Vol. 1, North-Holland, Amsterdam (1996), 501-528

    Google Scholar 

  12. H. A. Priestley, ‘Representation of distributive lattices by means of ordered Stone spaces’, Bull. London Math. Soc.2 (1970), 186-190

    Google Scholar 

  13. H. A. Priestley, ‘Ordered sets and duality for distributive lattices’, Annals of Discrete Mathematics23, North-Holland, Amsterdam-New York (1984), 39-60

    Google Scholar 

  14. Ingrid Moira Rewitzky, A topological framework for program semantics, Ph.D. Thesis, University of Cape Town, South Africa (1995)

    Google Scholar 

  15. Claudia B. Wegener, Natural dualities for varieties generated by lattice-structured algebras, D.Phil. Thesis, University of Oxford, United Kingdom (1999)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Wegener, C.B. Free Modal Lattices via Priestley Duality. Studia Logica 70, 339–352 (2002). https://doi.org/10.1023/A:1015198213595

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1015198213595

Navigation