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):

Displayed 16 items.

• On canonicity of poset expansions (Q651383) ‎ (← links)
• Notions of density that imply representability in algebraic logic (Q1295366) ‎ (← 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)
• 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)
• 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)