Bounded lattice expansions

Journal of Algebra

Volumn 238, Issue 1, 2001, Pages 345-371

  Gehrke, Mai ^a   Harding, John ^a  

^a NEW MEXICO STATE UNIVERSITY   (United States)

Author keywords

Algebras with a lattice reduct; Canonical extensions; Functoriality; Galois connections; Preservation of identities

Indexed keywords

EID: 0035315080     PISSN: 00218693     EISSN: None     Source Type: Journal    
DOI: 10.1006/jabr.2000.8622     Document Type: Article

References (36)

1. Allwein G., Dunn J. M. Kripke models for linear logic. J. Symbolic Logic. 58:1993;514-545.
2. van Benthem J. A. F. K. Some kinds of modal completeness. Studia Logica. 39:1980;125-141.
3. Birkhoff G. Lattice Theory. American Mathematical Society Colloquium Publications. 25:1967;Amer. Math. Soc. Providence.
4. Blok W. J. The lattice of modal logics: an algebraic investigation. J. Symbolic Logic. 45:1980;221-236.
5. Blyth T. S., Varlet J. C. Ockham Algebras. 1994;Oxford Univ. Press, London.
6. Boicescu V., Filipoiu A., Georgescu G., Rudeanu S. Lukasiewicz-Moisil Algebras. Annals of Discrete Mathematics. 49:1991;North-Holland, Amsterdam.
7. Burris S., Sankappanavar H. P. A Course in Universal Algebra. 1981;Springer-Verlag, Berlin/New York.
8. Celani S., Jansana R. A new semantic for positive modal logic. Notre Dame J. Formal Logic. 38:1997;1-18.
9. Cignoli R. Quantifiers on distributive lattices. Discrete Math. 96:1991;183-197.
10. Crawley P., Dilworth R. P. Algebraic Theory of Lattices. 1973;Prentice Hall, New York.
11. Dalla Chiara M. L. Quantum logic. Handbook of Philosophical Logic. 1986;Reidel, Dordrecht. p. 427-469.
12. Dunn J. M. Positive modal logic. Studia Logica. 55:1995;301-317.
13. Dunn J. M., Hartonas C. Stone duality for lattices. Algebra Universalis. 37:1997;391-401.
14. D-separation axiom. Z. Math. Logik Grundlag. Math. 37:1991;5-15.
15. Gehrke M., Jónsson B. Bounded distributive lattices with operators. Math. Japon. 40:1994;207-215.
16. Gehrke M., Jónsson B. Monotone bounded distributive lattice expansions. Math. Japon. 52:2000;197-213.
17. M. Gehrke, and, B. Jónsson, Bounded distributive lattice expansions, Preprint.
18. Ghilardi S., Meloni G. Constructive canonicity in non-classical logics. Ann. Pure Appl. Logic. 86:1997;1-32.
19. Goldblatt R. Varieties of complex algebras. Ann. Pure Appl. Logic. 44:1989;173-242.
20. Goldblatt R. On closure under canonical embedding algebras. Algebraic Logic, Proc. Conf. Budapest 1988. Colloq. Math. Soc. J. Bolyai. 54:1991;North-Holland, Amsterdam. p. 217-231.
21. Goldblatt R. The McKinsey axiom is not canonical. J. Symbolic Logic. 56:1991;554-562.
22. Harding J. Canonical completions of lattices and ortholattices. Tatra Mt. Math. Publ. 15:1998;85-96.
23. Hartonas C. Duality for lattice-ordered algebras and normal algebraizable logics. Studia Logica. 58:1997;403-450.
24. Hartung G. A topological representation of lattices. Algebra Universalis. 29:1992;273-299.
25. Henkin L. Extending Boolean operations. Pacific J. Math. 32:1970;723-752.
26. Jónsson B. On the canonicity of Sahlqvist identities. Studia Logica. 53:1994;473-491.
27. Jónsson B. A survey of Boolean algebras with operators. Algebras and Orders (Montreal, PQ, 1991). NATO Adv. Sci. Inst. Ser. C. Math. Phys. Sci. 389:1993;Kluwer Academic, Dordrecht. p. 239-286.
28. Jónsson B., Tarski A. Boolean algebras with operators, I. Amer. J. Math. 73:1951;891-993.
29. Jónsson B., Tarski A. Boolean algebras with operators, II. Amer. J. Math. 74:1952;127-162.
30. MacCaull W. Kripke semantics for logics with BCK implication. Bull. Sect. Logic Univ. Lódź 25:1996;41-51.
31. Priestley H. A. Natural dualities for varieties of distributive lattices with a quantifier. Algebraic Methods in Logic and Computer Science (Warsaw, 1991). Banach Center Publ. 28:1993;Polish Acad. Sci. Warsaw. p. 291-310.
32. Priestley H. A. Varieties of distributive lattices with unary operations, I. J. Austral. Math. Soc. Ser. A. 63:1997;165-207.
33. Priestley H. A., Santos R. Varieties of distributive lattices with unary operations, II. Portugal. Math. 55:1998;135-166.
34. Sahlqvist H. Completeness and correspondence in the first and second order semantics for modal logic. Proceedings of the Third Scandinavian Logic Symposium (Univ. Uppsala, Uppsala, 1973). Stud. Logic Found. Math. 82:1975;North-Holland, Amsterdam. p. 110-143.
35. Sofronie-Stokkermans V. Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics, I, II. Studia Logica. 64:2000;93-132.
36. Urquhart A. A topological representation theory for lattices. Algebra Universalis. 8:1978;45-58.