Pages that link to "Item:Q4827039"
From MaRDI portal
The following pages link to Bounded distributive lattice expansions (Q4827039):
Displaying 50 items.
- Modal definability based on Łukasiewicz validity relations (Q284231) (← links)
- Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (Q404568) (← links)
- Completely representable lattices (Q422347) (← links)
- Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras (Q454393) (← links)
- Distributive envelopes and topological duality for lattices via canonical extensions. (Q466890) (← links)
- Canonical extensions and canonicity via dcpo presentations (Q541219) (← links)
- A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras (Q554439) (← links)
- Canonical extensions for congruential logics with the deduction theorem (Q636384) (← links)
- Natural extensions and profinite completions of algebras (Q651385) (← 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)
- Canonicity in subvarieties of BL-algebras (Q993324) (← links)
- MacNeille completion and profinite completion can coincide on finitely generated modal algebras (Q1047116) (← links)
- Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic (Q1406853) (← links)
- Canonical extensions of bounded Archimedean vector lattices (Q1646613) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- Tribute to Bjarni Jónsson (Q1991588) (← links)
- Canonical extensions: an algebraic approach to Stone duality (Q1991594) (← links)
- Semi De Morgan logic properly displayed (Q2021557) (← links)
- A categorical duality for algebras of partial functions (Q2031546) (← links)
- A topological duality for monotone expansions of semilattices (Q2105676) (← links)
- Priestley duality for MV-algebras and beyond (Q2121252) (← links)
- Monotone subintuitionistic logic: duality and transfer results (Q2153831) (← links)
- Extending maps to profinite completions in finitely generated quasivarieties (Q2204385) (← links)
- Countably many weakenings of Belnap-Dunn logic (Q2307298) (← links)
- Difference hierarchies and duality with an application to formal languages (Q2310785) (← links)
- Canonical extensions of locally compact frames (Q2310786) (← links)
- A completion for distributive nearlattices (Q2334607) (← links)
- Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
- Disentangling structural connectives or life without display property (Q2421521) (← links)
- Quantum B-algebras (Q2440506) (← links)
- Duality for double quasioperator algebras via their canonical extensions (Q2454636) (← links)
- A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system (Q2462669) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
- Complete congruences on topologies and down-set lattices (Q2642570) (← links)
- Boolean topological distributive lattices and canonical extensions (Q2643609) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- B-frame duality (Q2689804) (← links)
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} (Q2695349) (← links)
- Computing distributed knowledge as the greatest lower bound of knowledge (Q2695370) (← links)
- Stone Duality and the Recognisable Languages over an Algebra (Q2888490) (← links)
- Distributive Lattice-Structured Ontologies (Q2888493) (← links)
- STONE SPACE OF CYLINDRIC ALGEBRAS AND TOPOLOGICAL MODEL SPACES (Q2976380) (← links)
- Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic (Q3601808) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- (Q5028470) (← links)
- MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics (Q5079762) (← links)
