scientific article; zbMATH DE number 697070
From MaRDI portal
Publication:4313857
zbMath0855.06009MaRDI QIDQ4313857
Publication date: 9 February 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Structure and representation theory of distributive lattices (06D05) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)
Related Items
A representation theorem for infinite fuzzy distributive lattices, Priestley duality for MV-algebras and beyond, Relational semantics for full linear logic, Canonical extensions of bounded Archimedean vector lattices, Monotone subintuitionistic logic: duality and transfer results, Difference-restriction algebras of partial functions: axiomatisations and representations, Boolean topological distributive lattices and canonical extensions, The convolution algebra, 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, THE LOGIC OF RESOURCES AND CAPABILITIES, Coalgebraic completeness-via-canonicity for distributive substructural logics, Natural dualities in partnership, A fresh perspective on canonical extensions for bounded lattices., Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality, On some classes of Heyting algebras with successor that have the amalgamation property, Subordinations on bounded distributive lattices, Topological duality and algebraic completions, A point-free approach to canonical extensions of Boolean algebras and bounded Archimedean \(\ell \)-algebras, \(\Delta_1\)-completions of a poset., Positive modal logic beyond distributivity, Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic, Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic, Canonical extensions for congruential logics with the deduction theorem, Extending maps to profinite completions in finitely generated quasivarieties, Quantum B-algebras, Unnamed Item, Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras, Duality and canonical extensions for stably compact spaces, Distributive envelopes and topological duality for lattices via canonical extensions., Canonical extensions of posets., Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators, Duality for double quasioperator algebras via their canonical extensions, Skolemization and Herbrand theorems for lattice-valued logics, Profiniteness and representability of spectra of Heyting algebras, Tribute to Bjarni Jónsson, Canonical extensions: an algebraic approach to Stone duality, Ultrafilters, finite coproducts and locally connected classifying toposes, Canonical extensions and canonicity via dcpo presentations, Coalgebraic Completeness-via-Canonicity, Bounded lattice expansions, A Sahlqvist theorem for distributive modal logic, A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras, Generalising canonical extension to the categorical setting, Elementary canonical formulae: extending Sahlqvist's theorem, A spectral-style duality for distributive posets, Canonicity in subvarieties of BL-algebras, Canonical extensions and profinite completions of semilattices and lattices, Unnamed Item, Canonical extensions and ultraproducts of polarities, Comparison of MacNeille, canonical, and profinite completions, KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS, A relational semantics for the logic of bounded lattices, Canonical extensions of locally compact frames, Bilattice logic properly displayed, A completion for distributive nearlattices, Quasi-modal lattices, Canonical Extensions, Esakia Spaces, and Universal Models