Pages that link to "Item:Q395673"
From MaRDI portal
The following pages link to A fresh perspective on canonical extensions for bounded lattices. (Q395673):
Displaying 18 items.
- Distributive envelopes and topological duality for lattices via canonical extensions. (Q466890) (← links)
- TiRS graphs and TiRS frames: a new setting for duals of canonical extensions (Q494628) (← links)
- Canonical extensions and canonicity via dcpo presentations (Q541219) (← links)
- A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras (Q554439) (← links)
- Generalising canonical extension to the categorical setting (Q714727) (← links)
- Canonical extensions and Kripke-Galois semantics for non-distributive logics (Q1632052) (← links)
- Canonical extensions of bounded Archimedean vector lattices (Q1646613) (← links)
- Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I (Q1970594) (← links)
- Modelling socio-political competition (Q2035344) (← links)
- Canonical extensions of lattices are more than perfect (Q2120439) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Canonical extensions of locally compact frames (Q2310786) (← links)
- Duality for normal lattice expansions and sorted residuated frames with relations (Q2682629) (← links)
- Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)
- A point-free approach to canonical extensions of Boolean algebras and bounded Archimedean \(\ell \)-algebras (Q6171421) (← links)
- Dual digraphs of finite meet-distributive and modular lattices (Q6601987) (← links)
