TiRS graphs and TiRS frames: a new setting for duals of canonical extensions

DOI10.1007/S00012-015-0335-2MaRDI QIDQ494628zbMATH OpenOpenAlexFDO

Authors Andrew P. K. Craig, Miroslav Haviar, Maria João Gouveia

Publication date 1 September 2015

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-015-0335-2

zbMATH Keywords

bounded latticescanonical extensionperfect latticesRS frameTiRS frameTiRS graph

Mathematics Subject Classification ID

Representation theory of lattices (06B15) Complete lattices, completions (06B23) Lattices and duality (06D50)

Recommendations

• A fresh perspective on canonical extensions for bounded lattices.
• Reconciliation of approaches to the construction of canonical extensions of bounded lattices
• Topological duality and lattice expansions. I: A topological construction of canonical extensions.
• Duality for lattice-ordered algebras and for normal algebraizable logics
• Distributive envelopes and topological duality for lattices via canonical extensions.

Cites work

• scientific article; zbMATH DE number 1226180 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 908162 (Why is no real title available?)
• A fresh perspective on canonical extensions for bounded lattices.
• A note on representable posets
• A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras
• A topological representation theory for lattices
• A view of canonical extension
• Boolean topological distributive lattices and canonical extensions
• Bounded lattice expansions
• Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras
• Canonical extensions and relational completeness of some substructural logics
• Generalized Kripke frames
• Multisorted dualisability: change of base
• Reconciliation of approaches to the construction of canonical extensions of bounded lattices

Cited in

(10)

• Canonical extensions of lattices are more than perfect
• Canonical extensions and Kripke-Galois semantics for non-distributive logics
• Modal reduction principles: a parametric shift to graphs
• Modelling socio-political competition
• Representations and dualities for bounded lattices
• Dual digraphs of finite meet-distributive and modular lattices
• Duality for normal lattice expansions and sorted residuated frames with relations
• Dual digraphs of finite semidistributive lattices
• Order-dual relational semantics for non-distributive propositional logics: a general framework
• Algorithmic correspondence and canonicity for non-distributive logics

This page was built for publication: TiRS graphs and TiRS frames: a new setting for duals of canonical extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q494628)