Pages that link to "Item:Q2704574"

The following pages link to Monotone bounded distributive lattice expansions (Q2704574):

Displaying 22 items.

• Canonical extensions of posets. (Q466925) (← links)
• Boolean algebras arising from information systems (Q598303) (← links)
• Canonical extensions for congruential logics with the deduction theorem (Q636384) (← links)
• Duality and canonical extensions for stably compact spaces (Q649839) (← links)
• A Sahlqvist theorem for distributive modal logic (Q705532) (← links)
• A spectral-style duality for distributive posets (Q722594) (← links)
• Profinite completions and canonical extensions of Heyting algebras (Q862977) (← links)
• Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations (Q863916) (← links)
• Coalgebraic representations of distributive lattices with operators (Q869666) (← links)
• Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators (Q1432885) (← links)
• Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
• Tribute to Bjarni Jónsson (Q1991588) (← links)
• Semi De Morgan logic properly displayed (Q2021557) (← links)
• A topological duality for monotone expansions of semilattices (Q2105676) (← links)
• Extending maps to profinite completions in finitely generated quasivarieties (Q2204385) (← links)
• Monotonic distributive semilattices (Q2279678) (← links)
• A completion for distributive nearlattices (Q2334607) (← links)
• (Q3192476) (← links)
• Distributive and completely distributive lattice extensions of ordered sets (Q4576001) (← links)
• KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
• A relational semantics for the logic of bounded lattices (Q5227167) (← links)
• Bounded lattice expansions (Q5936163) (← links)