Canonical extensions of double quasioperator algebras: An algebraic perspective on duality for certain algebras with binary operations

Journal of Pure and Applied Algebra

Volumn 209, Issue 1, 2007, Pages 269-290

  Gehrke, M ^a   Priestley, H A ^b  

^a NEW MEXICO STATE UNIVERSITY   (United States)

^b UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33751544815     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jpaa.2006.06.001     Document Type: Article

References (25)

1. Blackburn P., de Rijke M., and Venema Y. Modal Logic (2001), Cambridge University Press
2. Cignoli R.L.O., D'Ottavio I.M.L., and Mundici D. Algebraic Foundations of Many-valued Reasoning. Trends in Logic vol. 7 (2000), Kluwer Acad. Publ.
3. Cornish W.H. Antimorphic Action. Categories of Algebraic Structures with Involutions or Anti-endomorphisms. R & E Research and Exposition in Mathematics vol. 12 (1986), Heldermann Verlag, Berlin
4. Davey B.A., and Priestley H.A. Introduction to Lattices and Order. second ed. (2002), Cambridge University Press
5. Dunn J.M., Gehrke M., and Palmigiano A. Canonical extensions of ordered algebraic structures and relational completeness of some substructural logics. J. Symbolic Logic 70 (2005) 713-740
6. Erné M., Koswlowski J., Melton A., and Strecker G.E. A primer on Galois connections. Ann. New York Acad. Sci. 704 (1993) 103-125
7. M. Gehrke, Generalized Kripke frames, Studia Logica (in press)
8. Gehrke M., and Jónsson B. Bounded distributive lattices with operators. Math. Japonica 40 (1994) 207-215
9. Gehrke M., and Jónsson B. Monotone bounded distributive lattice expansions. Math. Japonica 52 (2000) 197-213
10. Gehrke M., and Jónsson B. Bounded distributive lattice expansions. Math. Scand. 94 (2004) 13-45
11. Gehrke M., Nagahashi H., and Venema Y. A Sahlqvist theorem for distributive modal logic. Ann. Pure Appl. Logic 131 (2005) 65-102
12. M. Gehrke, M.C. Palma, Duality theory for Semi-De Morgan algebras via canonical extensions (in draft; see also http://www.math.nmsu.edu/mgehrke/Tesesp.pdf)
13. Gehrke M., and Priestley H.A. Non-canonicity of MV-algebras. Houston J. Math. 28 (2002) 449-455
14. Gehrke M., and Priestley H.A. Duality for distributive quasioperator algebras via their canonical extensions. available at. http://www.maths.ox.ac.uk/~hap (preprint)
15. Gehrke M., Walker C., and Walker E. Fuzzy Logics Arising from Strict De Morgan Systems, Topological and Algebraic Structures. Trends Log. Stud. Log. Libr. vol. 20 (2003), Kluwer Acad. Publ. 257-276
16. Gierz G., Hofmann K.H., Keimel K., Lawson J.D., Mislove M.W., and Scott D.S. Continuous Lattices and Domains (2003), Cambridge University Press
17. Gispert J., and Mundici D. MV-algebras: A variety for magnitudes with Archimedean units. Algebra Univ. 53 (2005) 7-43
18. Goldblatt R. Varieties of complex algebras. Ann. Pure Appl. Logic 44 (1989) 173-242
19. Jónsson B., and Tarski A. Boolean algebras with operators, I. Am. J. Math. 73 (1951) 891-939
20. Martínez N.G. A topological duality for some lattice-ordered algebraic structures including ℓ-groups. Algebra Universalis 31 (1994) 516-541
21. Martínez N.G., and Priestley H.A. On Priestley spaces of some lattice-ordered algebraic structures. Order 15 (1998) 297-323
22. Priestley H.A. Varieties of distributive lattices with unary operations I. J. Aust. Math. Soc. (Ser. A) 63 (1997) 165-207
23. Priestley H.A., and Santos R. Dualities for varieties of distributive lattices with unary operations II. Port. Math. 55 (1998) 135-166
24. Sofronie-Stokkermans V. Representation theorems and the semantics of non-classical logics, and applications to automated theorem-proving. Beyond two: theory and applications of multiple-valued logic, Stud. Fuzziness Soft Comput. 114 (2003) 59-100
25. Venema Y. Canonical pseudo-correspondence. Advances in Modal Logic, Vol. 2 (Uppsala, 1998). CSLI Lecture Notes vol. 119 (2001), CSLI Publ., Stanford, CA 421-430