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

DOI10.1007/S00012-015-0335-2zbMATH Open1347.06008OpenAlexW2220881559MaRDI QIDQ494628FDOQ494628

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

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.

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)

Cites Work

• A topological representation theory for lattices
• Title not available (Why is that?)
• Title not available (Why is that?)
• Canonical extensions and relational completeness of some substructural logics
• Bounded lattice expansions
• Generalized Kripke frames
• Boolean topological distributive lattices and canonical extensions
• A view of canonical extension
• A fresh perspective on canonical extensions for bounded lattices.
• Title not available (Why is that?)
• Reconciliation of approaches to the construction of canonical extensions of bounded lattices
• Multisorted dualisability: change of base
• 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
• A note on representable posets

Cited In (10)

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