Duality for double quasioperator algebras via their canonical extensions

DOI10.1007/s11225-007-9045-xzbMath1127.06009OpenAlexW1985583002MaRDI QIDQ2454636

Mai Gehrke, Hilary A. Priestley

Publication date: 16 October 2007

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-007-9045-x

zbMATH Keywords

MV-algebracanonical extensionstopological duality

Mathematics Subject Classification ID

Lattices and duality (06D50) MV-algebras (06D35) General theory of categories and functors (18A99)

Related Items

Priestley duality for MV-algebras and beyond, Stone Duality and the Recognisable Languages over an Algebra, Boolean topological distributive lattices and canonical extensions, Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations, Spectral-like duality for distributive Hilbert algebras with infimum, Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality, Topological duality and algebraic completions, Deciding Equations in the Time Warp Algebra, \(\Delta_1\)-completions of a poset., A duality theoretic view on limits of finite structures, Canonical extensions for congruential logics with the deduction theorem, Time warps, from algebra to algorithms, Unnamed Item, Stone duality, topological algebra, and recognition., Canonical extensions and ultraproducts of polarities

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Sahlqvist theorem for distributive modal logic
• Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
• A simplified duality for implicative lattices and \(l\)-groups
• Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I
• On Priestley spaces of lattice-ordered algebraic structures
• Varieties of complex algebras
• Distributive Lattice-Structured Ontologies
• Algebraic polymodal logic: a survey
• Bounded distributive lattice expansions
• Canonical extensions and relational completeness of some substructural logics
• Boolean Algebras with Operators. Part I