Duality for double quasioperator algebras via their canonical extensions

Studia Logica

Volumn 86, Issue 1, 2007, Pages 31-68

  Gehrke, M ^a   Priestley, H A ^b  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^b UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Canonical extension; MV algebra; Topological duality

Indexed keywords

EID: 34547157140     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1007/s11225-007-9045-x     Document Type: Article

References (16)

1. Bruun, H., and M. Gehrke, 'Distributive lattice ontologies, I' (preprint).
2. Davey, B. A., and H. A. Priestley, Introduction to Lattices and Order, 2nd edn, Cambridge University Press, 2002.
3. 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
4. Gehrke M., Jónsson B. (1994) 'Bounded distributive lattices with operators'. Math. Japonica 40:207-215
5. Gehrke M., Jónsson B. (2004) 'Bounded distributive lattice expansions'. Math. Scand. 94:13-45
6. Gehrke M., Nagahashi H., Venema Y. (2005) 'A Sahlqvist theorem for distributive modal logic'. Ann. Pure App. Logic 131:65-102
7. 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 ).
8. Gehrke M., Priestley H.A. (2002) 'Non-canonicity of MV-algebras'. Houston J. Math. 28:449-455
9. 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 ).
10. Goldblatt R. (1989) 'Varieties of complex algebras'. Ann. Pure App. Logic 44:173-242
11. Goldblatt R. (2000) 'Algebraic polymodal logic: a survey'. Logic J. IGPL 8:393-450
12. Jónsson B., Tarski A. (1951) 'Boolean algebras with operators, I. Amer. J. Math. 73:891-939
13. Martínez N.G. (1996) 'A simplified duality for implicative lattices and -groups'. Studia Logica 56:185-204
14. Martínez N.G., Priestley H.A. (1998) 'On Priestley spaces of some lattice-ordered algebraic structures'. Order 15:297-323
15. 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
16. Venema, Y., 'Canonical pseudo-correspondence', Advances in modal logic, 2:421-430 (Uppsala, 1998), CSLI Lecture Notes, 119, CSLI Publ., Stanford, CA, 2001.