Optimal natural dualities for varieties of Heyting algebras

Studia Logica 56 (1-2):67 - 96 (1996)
  Copy   BIBTEX

Abstract

The techniques of natural duality theory are applied to certain finitely generated varieties of Heyting algebras to obtain optimal dualities for these varieties, and thereby to address algebraic questions about them. In particular, a complete characterisation is given of the endodualisable finite subdirectly irreducible Heyting algebras. The procedures involved rely heavily on Priestley duality for Heyting algebras.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,480

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
181 (#68,967)

6 months
1 (#417,896)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Introduction to Lattices and Order.B. A. Davey & H. A. Priestly - 2002 - Cambridge University Press.
Lattice Theory.Garrett Birkhoff - 1940 - Journal of Symbolic Logic 5 (4):155-157.
Finitely Generated Free Heyting Algebras.Fabio Bellissima - 1986 - Journal of Symbolic Logic 51 (1):152-165.
Lattice Theory.Garrett Birkhoff - 1950 - Journal of Symbolic Logic 15 (1):59-60.

Add more references