Stone duality for lattices

Algebra Universalis

Volumn 37, Issue 3, 1997, Pages 391-401

  Hartonas, C ^a   Dunn, J M ^b  

^a UNIVERSITY OF SUSSEX   (United Kingdom)

^b INDIANA UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031445815     PISSN: 00025240     EISSN: None     Source Type: Journal    
DOI: 10.1007/s000120050024     Document Type: Article

References (14)

1. ALLWEIN, G. and DUNN, J. M., Kripke models for linear logic, The Journal of Symbolic Logic 58-2 (1993), 514-545.
2. ALLWEIN, G. and HARTONAS, C., Duality for bounded lattices, Indiana University Logic Group, Preprint Series, 1993, IULG-93-25.
3. BIRKHOFF, G., Lattice Theory, reprinted 1979, Amer. Math. Soc. Colloquium Publications XXV, 1940.
4. DUNN, J. M., Gaggle theory: an abstraction of galois connections and residuation with applications to negation and various logical operators, Logics in AI, Proceedings European Workshop JELIA 1990, LNCS 478, Springer Verlag, 1991.
5. GOLDBLATT, R. I., The stone space of an ortholattice, Bull. London Math. Soc. 7 (1975), 45-48.
6. HARTONAS, C., Order-duality, negation and lattice representation, in Negation: Notion in Focus, ed. H. Wansing, De Gruyter, Berlin, 1996, 27-36.
7. HARTONAS, C., Duality for lattice-ordered algebras and for normal algebraizable logics. To appear in Studia Logica (1997).
8. HARTUNG, G., A topological representation for lattices, Algebra univers. 17 (1992), 273-299.
9. JOHNSTONE, P. T., Stone Spaces, Cambridge University Press, 1986.
10. PRIESTLEY, H. A., Representation of distributive lattices by means of ordered stone spaces, Bull. Lond. Math. Soc. 2 (1970), 186-190.
11. STONE, M. H., The representation of boolean algebras, Bull. Amer. Math. Soc. 44 (1938), 807-816.
12. STONE, M. H., Topological representation of distributive lattices and Brouwerian logics, Casopsis pro Pestovani Matematiky a Fysiky 67 (1937), 1-25.
13. URQUHART, A., A topological representation theorem for lattices, Algebra univers. 8 (1979), 45-58.
14. WILLE, R., Bedeutungen von Begriffsverbänden, in Beiträge zur Begriffsanalyse, ed. by B. Ganter, R. Wille and K. E. Wolff, B. I. Wissenschaftsverlag, Mannheim, Wein, Zürich, 1987, 161-211.