Pages that link to "Item:Q1338478"
From MaRDI portal
The following pages link to On the canonicity of Sahlqvist identities (Q1338478):
Displayed 30 items.
- Algorithmic correspondence and canonicity for distributive modal logic (Q409328) (← links)
- Canonical extensions of posets. (Q466925) (← links)
- Boolean algebras arising from information systems (Q598303) (← links)
- Duality and canonical extensions for stably compact spaces (Q649839) (← links)
- On canonicity of poset expansions (Q651383) (← links)
- A Sahlqvist theorem for distributive modal logic (Q705532) (← links)
- Profinite completions and canonical extensions of Heyting algebras (Q862977) (← links)
- Completion and finite embeddability property for residuated ordered algebras. (Q993327) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Uniform interpolation and coherence (Q1740631) (← links)
- Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators (Q1762482) (← 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)
- Extending maps to profinite completions in finitely generated quasivarieties (Q2204385) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
- Modal MTL-algebras (Q2445422) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← 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)
- CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS (Q3005995) (← links)
- (Q4625704) (← links)
- Erdős Graphs Resolve Fine's Canonicity Problem (Q4678939) (← links)
- $\aleph_1$ and the modal $\mu$-calculus (Q4972732) (← links)
- (Q5119388) (← links)
- Coalgebraic Completeness-via-Canonicity (Q5739456) (← links)
- Bounded lattice expansions (Q5936163) (← links)
- Topological duality and algebraic completions (Q6120604) (← links)