Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations

DOI10.1016/j.jpaa.2006.06.001zbMath1110.06015OpenAlexW2165893511MaRDI QIDQ863916

Mai Gehrke, Hilary A. Priestley

Publication date: 12 February 2007

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpaa.2006.06.001

zbMATH Keywords

MV-algebrasvarietycanonical extensionsdistributive lattice expansionsdouble quasioperator algebrasresiduated operations

Mathematics Subject Classification ID

Lattices and duality (06D50) MV-algebras (06D35)

Related Items

Priestley duality for MV-algebras and beyond, Stone Duality and the Recognisable Languages over an Algebra, Complete congruences on topologies and down-set lattices, Boolean topological distributive lattices and canonical extensions, Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality, Topological duality and algebraic completions, Deciding Equations in the Time Warp Algebra, A duality theoretic view on limits of finite structures, Canonical extensions for congruential logics with the deduction theorem, Time warps, from algebra to algorithms, On canonicity of poset expansions, Unnamed Item, Duality for double quasioperator algebras via their canonical extensions, CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS, Stone duality, topological algebra, and recognition., Canonical extensions and ultraproducts of polarities, Unnamed Item, Canonical Extensions, Esakia Spaces, and Universal Models

Cites Work

• A Sahlqvist theorem for distributive modal logic
• Generalized Kripke frames
• A topological duality for some lattice ordered algebraic structures including \(\ell\)-groups
• Algebraic foundations of many-valued reasoning
• On Priestley spaces of lattice-ordered algebraic structures
• Duality for double quasioperator algebras via their canonical extensions
• MV-algebras: a variety for magnitudes with archimedean units
• Varieties of complex algebras
• Continuous Lattices and Domains
• Bounded distributive lattice expansions
• Canonical extensions and relational completeness of some substructural logics
• Boolean Algebras with Operators. Part I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item