Duality for double quasioperator algebras via their canonical extensions

Journal article

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. © 2007 Springer Science+Business Media B.V.

Authors: Gehrke, M; Priestley, H

• Journal: Studia Logica
• Volume: 86
• Issue: 1
• Pages: 31-68
• Publication date: 2007-06-01
• DOI: 10.1007/s11225-007-9045-x
• EISSN: 1572-8730
• ISSN: 0039-3215
• Language: English
• Keywords: Canonical extension; MV-algebra; Topological duality