The following pages link to Bounded lattice expansions (Q5936163):
Displaying 50 items.
- Relational semantics for full linear logic (Q280840) (← links)
- 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)
- 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)
- Number expansions in lattices (Q596992) (← 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)
- A spectral-style duality for distributive posets (Q722594) (← 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)
- Canonical extensions and Kripke-Galois semantics for non-distributive logics (Q1632052) (← links)
- Canonical extensions of bounded Archimedean vector lattices (Q1646613) (← links)
- The convolution algebra (Q1652865) (← links)
- Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978) (← links)
- Modularity is not canonical (Q1721744) (← links)
- Skolemization and Herbrand theorems for lattice-valued logics (Q1733060) (← links)
- Uniform interpolation and coherence (Q1740631) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- On some classes of Heyting algebras with successor that have the amalgamation property (Q1935558) (← links)
- \(\Delta_1\)-completions of a poset. (Q1943702) (← links)
- MacNeille transferability and stable classes of Heyting algebras (Q1991585) (← links)
- Canonical extensions: an algebraic approach to Stone duality (Q1991594) (← links)
- Semi De Morgan logic properly displayed (Q2021557) (← links)
- Correspondence, canonicity, and model theory for monotonic modal logics (Q2021573) (← links)
- Definable operators on stable set lattices (Q2027212) (← links)
- Canonical extensions, free completely distributive lattices, and complete retracts (Q2057106) (← links)
- Hyper-MacNeille completions of Heyting algebras (Q2062218) (← links)
- Canonical extensions of lattices are more than perfect (Q2120439) (← links)
- Difference-restriction algebras of partial functions with operators: discrete duality and completion (Q2136931) (← links)
- Representation of De Morgan and (semi-)Kleene lattices (Q2153649) (← links)
- Difference-restriction algebras of partial functions: axiomatisations and representations (Q2153921) (← links)
- Some classes of abstract simplicial complexes motivated by module theory (Q2196332) (← links)
- The continuous weak order (Q2196345) (← links)
- Extending maps to profinite completions in finitely generated quasivarieties (Q2204385) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Countably many weakenings of Belnap-Dunn logic (Q2307298) (← links)
