Pages that link to "Item:Q1344872"

The following pages link to Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras (Q1344872):

Displaying 22 items.

• On canonicity of poset expansions (Q651383) (← links)
• Atom structures and Sahlqvist equations (Q1272149) (← links)
• Notions of density that imply representability in algebraic logic (Q1295366) (← links)
• On the canonicity of Sahlqvist identities (Q1338478) (← links)
• Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras (Q1344872) (← links)
• Two-sorted metric temporal logics (Q1391098) (← links)
• Mathematical modal logic: A view of its evolution (Q1422628) (← 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)
• The logic of Peirce algebras (Q1909608) (← links)
• Relation algebras can tile (Q1961863) (← 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)
• 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)
• CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS (Q3005995) (← links)
• (Q4625704) (← links)
• Erdős Graphs Resolve Fine's Canonicity Problem (Q4678939) (← links)
• A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC (Q4928772) (← links)
• Completeness results for two-sorted metric temporal logics (Q5096398) (← links)
• The preservation of Sahlqvist equations in completions of Boolean algebras with operators (Q5932468) (← links)