Bounded lattice expansions
From MaRDI portal
Publication:5936163
DOI10.1006/jabr.2000.8622zbMath0988.06003MaRDI QIDQ5936163
Publication date: 10 July 2002
Published in: Journal of Algebra (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/8823bd7916838575db7fb2765833634fc3788495
Related Items
Unnamed Item, Distributive and completely distributive lattice extensions of ordered sets, Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices, Unnamed Item, CHOICE-FREE STONE DUALITY, Modal translation of substructural logics, KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS, Canonical Extensions, Esakia Spaces, and Universal Models, A representation theorem for infinite fuzzy distributive lattices, Unnamed Item, Lattice logic as a fragment of (2-sorted) residuated modal logic, MacNeille completions and canonical extensions, Canonical extensions and relational completeness of some substructural logics, Coalgebraic Completeness-via-Canonicity, Relational semantics for full linear logic, A fresh perspective on canonical extensions for bounded lattices., Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality, Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras, Distributive envelopes and topological duality for lattices via canonical extensions., Canonical extensions of posets., TiRS graphs and TiRS frames: a new setting for duals of canonical extensions, Canonical extensions and canonicity via dcpo presentations, A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras, A note on profinite completions and canonical extensions, Canonical extensions for congruential logics with the deduction theorem, Duality and canonical extensions for stably compact spaces, On canonicity of poset expansions, Natural extensions and profinite completions of algebras, A Sahlqvist theorem for distributive modal logic, Generalising canonical extension to the categorical setting, A spectral-style duality for distributive posets, Profinite completions and canonical extensions of Heyting algebras, Generalized Kripke frames, Completions of \(\mu \)-algebras, Canonicity in subvarieties of BL-algebras, Comparison of MacNeille, canonical, and profinite completions, Canonical extensions and relational representations of lattices with negation, Canonical extensions and Kripke-Galois semantics for non-distributive logics, Canonical extensions of bounded Archimedean vector lattices, The convolution algebra, Order-dual relational semantics for non-distributive propositional logics: a general framework, Modularity is not canonical, Skolemization and Herbrand theorems for lattice-valued logics, Uniform interpolation and coherence, Canonical extensions and ultraproducts of polarities, On some classes of Heyting algebras with successor that have the amalgamation property, \(\Delta_1\)-completions of a poset., MacNeille transferability and stable classes of Heyting algebras, Canonical extensions: an algebraic approach to Stone duality, Some classes of abstract simplicial complexes motivated by module theory, The continuous weak order, Extending maps to profinite completions in finitely generated quasivarieties, Algorithmic correspondence and canonicity for non-distributive logics, Countably many weakenings of Belnap-Dunn logic, Canonical extensions of locally compact frames, Residuation algebras with functional duals, Bilattice logic properly displayed, A completion for distributive nearlattices, Coalgebraic completeness-via-canonicity for distributive substructural logics, Disentangling structural connectives or life without display property, Intermediate logics admitting a structural hypersequent calculus, Topological duality and lattice expansions. I: A topological construction of canonical extensions., Topological duality and lattice expansions. II: Lattice expansions with quasioperators., Canonical extensions and profinite completions of semilattices and lattices, A topological duality for posets, Boolean topological distributive lattices and canonical extensions, CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS, Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators, Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic, A Duality for Algebras of Lattice-Valued Modal Logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Some kinds of modal completeness
- Quantifiers on distributive lattices
- Lukasiewicz-Moisil algebras
- A topological representation of lattices
- A topological representation theory for lattices
- Stone duality for lattices
- On the canonicity of Sahlqvist identities
- Constructive canonicity in non-classical logics
- Duality for lattice-ordered algebras and for normal algebraizable logics
- A new semantics for positive modal logic
- Positive modal logic
- Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I
- Extending Boolean operations
- Varieties of complex algebras
- Kripke models for linear logic
- The lattice of modal logics: an algebraic investigation
- The Order Structure of Stone Spaces and the TD‐Separation Axiom
- The McKinsey axiom is not canonical
- Bounded distributive lattice expansions
- Boolean Algebras with Operators. Part I
- Boolean Algebras with Operators
