Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras

DOI10.1007/BF01058532zbMath0823.03037OpenAlexW2033136385MaRDI QIDQ1344872

Yde Venema, Maarten de Rijke

Publication date: 22 February 1995

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01058532

zbMATH Keywords

Boolean algebras with operatorscylindric algebrasSahlqvist identitiesSahlqvist's Theorem

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Cylindric and polyadic algebras; relation algebras (03G15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items (19)

Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras ⋮ The logic of Peirce algebras ⋮ Algebraic modal correspondence: Sahlqvist and beyond ⋮ Completeness results for two-sorted metric temporal logics ⋮ Two-sorted metric temporal logics ⋮ Topological duality and algebraic completions ⋮ Extending maps to profinite completions in finitely generated quasivarieties ⋮ Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} ⋮ Mathematical modal logic: A view of its evolution ⋮ Relation algebras can tile ⋮ On canonicity of poset expansions ⋮ CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS ⋮ A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Erdős Graphs Resolve Fine's Canonicity Problem ⋮ Elementary canonical formulae: extending Sahlqvist's theorem ⋮ Canonical extensions and ultraproducts of polarities ⋮ Notions of density that imply representability in algebraic logic ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Algebraization of quantifier logics, an introductory overview
• Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
• Extending Boolean operations
• Varieties of complex algebras
• Determiners and logic
• A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
• Some Varieties Containing Relation Algebras
• The McKinsey axiom is not canonical
• A Modal Logic for Chopping Intervals
• A new proof of Sahlqvist's theorem on modal definability and completeness
• Boolean Algebras with Operators. Part I

This page was built for publication: Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras