Abstract
This paper is a study of duality in the absence of canonicity. Specifically it concerns double quasioperator algebras, a class of distributive lattice expansions in which, coordinatewise, each operation either preserves both join and meet or reverses them. A variety of DQAs need not be canonical, but as has been shown in a companion paper, it is canonical in a generalized sense and an algebraic correspondence theorem is available. For very many varieties, canonicity (as traditionally defined) and correspondence lead on to topological dualities in which the topological and correspondence components are quite separate. It is shown that, for DQAs, generalized canonicity is sufficient to yield, in a uniform way, topological dualities in the same style as those for canonical varieties. However topology and correspondence are no longer separable in the same way.
Similar content being viewed by others
References
Bruun, H., and M. Gehrke, ‘Distributive lattice ontologies, I’ (preprint).
Davey, B. A., and H. A. Priestley, Introduction to Lattices and Order, 2nd edn, Cambridge University Press, 2002.
Dunn M., Gehrke M., Palmigiano A. (2005) ‘Canonical extensions of ordered algebraic structures and relational completeness of some substructural logics’. J. Symb. Logic 70:713–740
Gehrke M., Jónsson B. (1994) ‘Bounded distributive lattices with operators’. Math. Japonica 40:207–215
Gehrke M., Jónsson B. (2004) ‘Bounded distributive lattice expansions’. Math. Scand. 94:13–45
Gehrke M., Nagahashi H., Venema Y. (2005) ‘A Sahlqvist theorem for distributive modal logic’. Ann. Pure App. Logic 131:65–102
Gehrke, M., and M. C. Palma, ‘Duality theory for Semi-De Morgan algebras via canonical extensions’ (in draft; see also http://www.math.ru.nl/mgehrke/~Tesecp.pdf).
Gehrke M., Priestley H.A. (2002) ‘Non-canonicity of MV-algebras’. Houston J. Math. 28:449–455
Gehrke, M., and H. A. Priestley, ‘Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operal tions’, J. Pure App . Algebra 209:269–290, 2007. http://www.maths.ox.ac.uk/~hap).
Goldblatt R. (1989) ‘Varieties of complex algebras’. Ann. Pure App. Logic 44:173–242
Goldblatt R. (2000) ‘Algebraic polymodal logic: a survey’. Logic J. IGPL 8:393–450
Jónsson B., Tarski A. (1951) ‘Boolean algebras with operators, I. Amer. J. Math. 73:891–939
Martínez N.G. (1996) ‘A simplified duality for implicative lattices and ℓ-groups’. Studia Logica 56:185–204
Martínez N.G., Priestley H.A. (1998) ‘On Priestley spaces of some lattice-ordered algebraic structures’. Order 15:297–323
Sofronie-Stokkermans V. (2000) ‘Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics I’. Studia Logica 64:93–132
Venema, Y., ‘Canonical pseudo-correspondence’, Advances in modal logic, 2:421–430 (Uppsala, 1998), CSLI Lecture Notes, 119, CSLI Publ., Stanford, CA, 2001.
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by Robert Goldblatt
Rights and permissions
About this article
Cite this article
Gehrke, M., Priestley, H.A. Duality for Double Quasioperator Algebras via their Canonical Extensions. Stud Logica 86, 31–68 (2007). https://doi.org/10.1007/s11225-007-9045-x
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-007-9045-x