Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/duality-for-double-quasioperator-algebras-via-their-canonical-12njqBQBpJ
References (19)
-
B. Jónsson, A. Tarski (1951)
Boolean Algebras with Operators. Part IAmerican Journal of Mathematics, 73
-
Viorica Sofronie-Stokkermans (2000)
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics IStudia Logica, 64
-
N. Martínez, H. Priestley (1998)
On Priestley Spaces of Lattice-Ordered Algebraic StructuresOrder, 15
-
M. Gehrke (2007)
an algebraic perspective on duality for certain algebras with binary operal tions’ -
R. Goldblatt (1989)
Varieties of Complex AlgebrasAnn. Pure Appl. Log., 44
-
Y. Venema (1998)
Canonical Pseudo-Correspondence -
B. Jonnson, A. Tarski (1952)
Boolean Algebras with OperatorsAmerican Journal of Mathematics, 74
-
M. Gehrke
//www.math.ru.nl/mgehrke/~Tesecp.pdf). -
R. Goldblatt (2000)
Algebraic Polymodal Logic: A SurveyLog. J. IGPL, 8
-
M. Gehrke, Hideo Nagahashi, Y. Venema (2005)
A Sahlqvist theorem for distributive modal logicAnn. Pure Appl. Log., 131
-
M. Gehrke, H. Priestley, K. Kaiser (2002)
NON-CANONICITY OF MV-ALGEBRAS -
B. A. Davey (2002)
Davey, B. A., and H. A. Priestley, Introduction to Lattices and Order, 2nd edn, Cambridge University Press, 2002. -
M. Gehrke, H. Priestley (2007)
Canonical extensions of double quasioperator algebras: An algebraic perspective on duality for certain algebras with binary operationsJournal of Pure and Applied Algebra, 209
-
Y. Venema (1998)
, CSLI Lecture Notes, 119, CSLI Publ -
M. Gehrke, B. Jónsson (2004)
Bounded distributive lattice expansionsMathematica Scandinavica, 94
-
N. Martínez (1996)
A simplified duality for implicative lattices and l-groupsStudia Logica, 56
-
H. Bruun
Bruun, H., and M. Gehrke, ‘Distributive lattice ontologies, I’ (preprint). -
B. Jónsson M. Gehrke (1994)
‘Bounded distributive lattices with operators’Math. Japonica, 40
-
J. Dunn, M. Gehrke, A. Palmigiano (2005)
Canonical extensions and relational completeness of some substructural logics*Journal of Symbolic Logic, 70
- Publisher
- Springer Journals
- Copyright
- 2007 Springer Science+Business Media B.V.
- ISSN
- 0039-3215
- eISSN
- 1572-8730
- DOI
- 10.1007/s11225-007-9045-x
- Publisher site
- See Article on Publisher Site
Abstract
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.
Journal
"Studia Logica" – Springer Journals
Published: Jun 1, 2007