Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
Sahlqvist's Theorem for modal logic is generalized to Boolean algebras with operators. A class of identities for Boolean algebra with operators is described, called the Sahlqvist identities. Sahlqvist's Theorem in this general setting states that (1) each Sahlqvist identity has a ``first-order translation, i.e., a first-order sentence that holds in a relational structure if and only if the identity holds in the complex algebra of that structure, and (2) each Sahlqvist identity holds in a Boolean algebra with operators if and only if it holds in the perfect (or canonical) extension of that algebra. The application to cylindric algebras, mentioned in the title, is a proof that a certain identity, due to Henkin, is equivalent to another identity. The proof proceeds by arguing in the atom structure of the perfect extension of any algebra that satisfies one (or the other) identity.
- A Modal Logic for Chopping Intervals
- A new proof of Sahlqvist's theorem on modal definability and completeness
- A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
- Algebraization of quantifier logics, an introductory overview
- Boolean Algebras with Operators. Part I
- Determiners and logic
- Extending Boolean operations
- scientific article; zbMATH DE number 67029 (Why is no real title available?)
- scientific article; zbMATH DE number 3339390 (Why is no real title available?)
- Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
- Some Varieties Containing Relation Algebras
- The McKinsey axiom is not canonical
- Varieties of complex algebras
- Atom structures and Sahlqvist equations
- Notions of density that imply representability in algebraic logic
- On the canonicity of Sahlqvist identities
- Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
- Two-sorted metric temporal logics
- Mathematical modal logic: A view of its evolution
- Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators
- Canonical extensions and ultraproducts of polarities
- The logic of Peirce algebras
- Relation algebras can tile
- Algorithmic correspondence and canonicity for non-distributive logics
- Algebraic modal correspondence: Sahlqvist and beyond
- Elementary canonical formulae: extending Sahlqvist's theorem
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL}
- Canonicity results of substructural and lattice-based logics
- Sahlqvist via translation
- Erdős Graphs Resolve Fine's Canonicity Problem
- scientific article; zbMATH DE number 802717 (Why is no real title available?)
- A Sahlqvist theorem for substructural logic
- Completeness results for two-sorted metric temporal logics
- The preservation of Sahlqvist equations in completions of Boolean algebras with operators
- Topological duality and algebraic completions
- On canonicity of poset expansions
- Modal reduction principles across relational semantics
This page was built for publication: Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1344872)
