The following pages link to Bounded lattice expansions (Q5936163):
Displayed 34 items.
- A fresh perspective on canonical extensions for bounded lattices. (Q395673) (← links)
- Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (Q404568) (← links)
- Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras (Q454393) (← links)
- Distributive envelopes and topological duality for lattices via canonical extensions. (Q466890) (← links)
- Canonical extensions of posets. (Q466925) (← 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)
- A note on profinite completions and canonical extensions (Q616118) (← links)
- Canonical extensions for congruential logics with the deduction theorem (Q636384) (← links)
- Duality and canonical extensions for stably compact spaces (Q649839) (← links)
- On canonicity of poset expansions (Q651383) (← links)
- Natural extensions and profinite completions of algebras (Q651385) (← links)
- A Sahlqvist theorem for distributive modal logic (Q705532) (← links)
- Generalising canonical extension to the categorical setting (Q714727) (← links)
- Profinite completions and canonical extensions of Heyting algebras (Q862977) (← links)
- Generalized Kripke frames (Q863180) (← links)
- Completions of \(\mu \)-algebras (Q925850) (← links)
- Canonicity in subvarieties of BL-algebras (Q993324) (← links)
- Comparison of MacNeille, canonical, and profinite completions (Q1013989) (← links)
- Canonical extensions and relational representations of lattices with negation (Q1015482) (← links)
- On some classes of Heyting algebras with successor that have the amalgamation property (Q1935558) (← links)
- \(\Delta_1\)-completions of a poset. (Q1943702) (← links)
- Extending maps to profinite completions in finitely generated quasivarieties (Q2204385) (← links)
- Topological duality and lattice expansions. I: A topological construction of canonical extensions. (Q2449453) (← links)
- Topological duality and lattice expansions. II: Lattice expansions with quasioperators. (Q2450842) (← links)
- Canonical extensions and profinite completions of semilattices and lattices (Q2510378) (← links)
- Boolean topological distributive lattices and canonical extensions (Q2643609) (← links)
- CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS (Q3005995) (← links)
- Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic (Q3601808) (← links)
- A Duality for Algebras of Lattice-Valued Modal Logic (Q3638290) (← links)
- Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices (Q4903467) (← links)
- (Q5472326) (← links)
- MacNeille completions and canonical extensions (Q5705523) (← links)
- Canonical extensions and relational completeness of some substructural logics (Q5718685) (← links)