scientific article

zbMath0972.06005MaRDI QIDQ2704574

Mai Gehrke, Bjarni Jónsson

Publication date: 13 November 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

varietycanonical extensionbounded distributive lattices augmented with finitary operations

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Structure and representation theory of distributive lattices (06D05) Varieties of lattices (06B20)

Related Items (21)

Profinite completions and canonical extensions of Heyting algebras ⋮ Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations ⋮ Coalgebraic representations of distributive lattices with operators ⋮ Boolean algebras arising from information systems ⋮ Distributive and completely distributive lattice extensions of ordered sets ⋮ Canonical extensions for congruential logics with the deduction theorem ⋮ Extending maps to profinite completions in finitely generated quasivarieties ⋮ Duality and canonical extensions for stably compact spaces ⋮ Canonical extensions of posets. ⋮ Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators ⋮ Tribute to Bjarni Jónsson ⋮ Bounded lattice expansions ⋮ A Sahlqvist theorem for distributive modal logic ⋮ Semi De Morgan logic properly displayed ⋮ A spectral-style duality for distributive posets ⋮ Monotonic distributive semilattices ⋮ Canonical extensions and ultraproducts of polarities ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ A relational semantics for the logic of bounded lattices ⋮ A completion for distributive nearlattices ⋮ A topological duality for monotone expansions of semilattices

This page was built for publication: