The following pages link to (Q4313857):
Displaying 50 items.
- Relational semantics for full linear logic (Q280840) (← links)
- A fresh perspective on canonical extensions for bounded lattices. (Q395673) (← links)
- Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (Q404568) (← 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 of posets. (Q466925) (← 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)
- 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)
- Generalising canonical extension to the categorical setting (Q714727) (← 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)
- Comparison of MacNeille, canonical, and profinite completions (Q1013989) (← links)
- Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic (Q1406853) (← links)
- Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators (Q1432885) (← links)
- Canonical extensions of bounded Archimedean vector lattices (Q1646613) (← links)
- The convolution algebra (Q1652865) (← links)
- Skolemization and Herbrand theorems for lattice-valued logics (Q1733060) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- Natural dualities in partnership (Q1928246) (← links)
- On some classes of Heyting algebras with successor that have the amalgamation property (Q1935558) (← links)
- \(\Delta_1\)-completions of a poset. (Q1943702) (← links)
- Tribute to Bjarni Jónsson (Q1991588) (← links)
- Canonical extensions: an algebraic approach to Stone duality (Q1991594) (← links)
- Ultrafilters, finite coproducts and locally connected classifying toposes (Q2004956) (← links)
- Priestley duality for MV-algebras and beyond (Q2121252) (← links)
- Monotone subintuitionistic logic: duality and transfer results (Q2153831) (← links)
- Difference-restriction algebras of partial functions: axiomatisations and representations (Q2153921) (← links)
- Extending maps to profinite completions in finitely generated quasivarieties (Q2204385) (← links)
- Profiniteness and representability of spectra of Heyting algebras (Q2232709) (← links)
- Canonical extensions of locally compact frames (Q2310786) (← links)
- Bilattice logic properly displayed (Q2328914) (← links)
- A completion for distributive nearlattices (Q2334607) (← links)
- Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
- Quantum B-algebras (Q2440506) (← links)
- Duality for double quasioperator algebras via their canonical extensions (Q2454636) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
- Canonical extensions and profinite completions of semilattices and lattices (Q2510378) (← links)
- Quasi-modal lattices (Q2572469) (← links)
- Boolean topological distributive lattices and canonical extensions (Q2643609) (← links)
- Distributive and completely distributive lattice extensions of ordered sets (Q4576001) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- (Q5101337) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
