Duality for Double Quasioperator Algebras via their Canonical Extensions

Studia Logica 86 (1):31-68 (2007)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Semi-demorgan algebras.David Hobby - 1996 - Studia Logica 56 (1-2):151 - 183.
Duality for algebras of relevant logics.Alasdair Urquhart - 1996 - Studia Logica 56 (1-2):263 - 276.
Priestley Duality for Bilattices.A. Jung & U. Rivieccio - 2012 - Studia Logica 100 (1-2):223-252.
Distributive lattices with an operator.Alejandro Petrovich - 1996 - Studia Logica 56 (1-2):205 - 224.
Ockham Algebras with Additional Operators.Aldo Figallo, Paolo Landini & Alicia Zillani - 2004 - Logic Journal of the IGPL 12 (6):447-459.
Weak‐quasi‐Stone algebras.Sergio A. Celani & Leonardo M. Cabrer - 2009 - Mathematical Logic Quarterly 55 (3):288-298.

Analytics

Added to PP
2009-01-28

Downloads
24 (#563,024)

6 months
3 (#445,838)

Historical graph of downloads
How can I increase my downloads?