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

DOI10.1007/s00012-015-0335-2zbMath1347.06008OpenAlexW2220881559MaRDI QIDQ494628

Miroslav Haviar, Andrew P. K. Craig, 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

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

Related Items

Canonical extensions of lattices are more than perfect, Canonical extensions and Kripke-Galois semantics for non-distributive logics, Dual digraphs of finite semidistributive lattices, Duality for normal lattice expansions and sorted residuated frames with relations, Order-dual relational semantics for non-distributive propositional logics: a general framework, Unnamed Item, Algorithmic correspondence and canonicity for non-distributive logics, Modelling socio-political competition

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A fresh perspective on canonical extensions for bounded lattices.
• Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras
• A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras
• Multisorted dualisability: change of base
• Generalized Kripke frames
• A topological representation theory for lattices
• A note on representable posets
• Boolean topological distributive lattices and canonical extensions
• A View of Canonical Extension
• Reconciliation of approaches to the construction of canonical extensions of bounded lattices
• Canonical extensions and relational completeness of some substructural logics
• Bounded lattice expansions