The following pages link to Bounded lattice expansions (Q5936163):
Displayed 14 items.
- A note on profinite completions and canonical extensions (Q616118) (← links)
- A Sahlqvist theorem for distributive modal logic (Q705532) (← 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)
- Boolean topological distributive lattices and canonical extensions (Q2643609) (← 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)
- (Q5472326) (← links)
- MacNeille completions and canonical extensions (Q5705523) (← links)
- Canonical extensions and relational completeness of some substructural logics (Q5718685) (← links)