David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 54 (1):61-78 (1995)
For an arbitrary similarity type of Boolean Algebras with Operators we define a class ofSahlqvist identities. Sahlqvist identities have two important properties. First, a Sahlqvist identity is valid in a complex algebra if and only if the underlying relational atom structure satisfies a first-order condition which can be effectively read off from the syntactic form of the identity. Second, and as a consequence of the first property, Sahlqvist identities arecanonical, that is, their validity is preserved under taking canonical embedding algebras. Taken together, these properties imply that results about a Sahlqvist variety V van be obtained by reasoning in the elementary class of canonical structures of algebras in V.We give an example of this strategy in the variety of Cylindric Algebras: we show that an important identity calledHenkin's equation is equivalent to a simpler identity that uses only one variable. We give a conceptually simple proof by showing that the first-order correspondents of these two equations are equivalent over the class of cylindric atom structures.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Tomoyuki Suzuki (2013). A Sahlqvist Theorem for Substructural Logic. Review of Symbolic Logic 6 (2):229-253.
Maarten Rijke (1995). The Logic of Peirce Algebras. Journal of Logic, Language and Information 4 (3):227-250.
Valentin Goranko & Dimiter Vakarelov (2006). Elementary Canonical Formulae: Extending Sahlqvist's Theorem. Annals of Pure and Applied Logic 141 (1):180-217.
Tomoyuki Suzuki (2011). Canonicity Results of Substructural and Lattice-Based Logics. Review of Symbolic Logic 4 (1):1-42.
Similar books and articles
Robin Hirsch, Ian Hodkinson & Roger D. Maddux (2002). Relation Algebra Reducts of Cylindric Algebras and an Application to Proof Theory. Journal of Symbolic Logic 67 (1):197-213.
Miklós Ferenczi (2007). Finitary Polyadic Algebras From Cylindric Algebras. Studia Logica 87 (1):1 - 11.
Tarek Sayed Ahmed (2005). Algebraic Logic, Where Does It Stand Today? Bulletin of Symbolic Logic 11 (4):465-516.
Jean A. Larson (1985). The Number of One-Generated Cylindric Set Algebras of Dimension Greater Than Two. Journal of Symbolic Logic 50 (1):59-71.
Roger D. Maddux (1989). Nonfinite Axiomatizability Results for Cylindric and Relation Algebras. Journal of Symbolic Logic 54 (3):951-974.
Leon Henkin (1971). Cylindric Algebras. Amsterdam,North-Holland Pub. Co..
Yde Venema (1995). Cylindric Modal Logic. Journal of Symbolic Logic 60 (2):591-623.
Robert Goldblatt (2001). Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators. Studia Logica 68 (2):155-171.
Maarten De Rijke & Yde Venema (1995). Sahlqvist's Theorem for Boolean Algebras with Operators with an Application to Cylindric Algebras. Studia Logica 54 (1):61 - 78.
Bronisław Tembrowski (1983). The Theory of Boolean Algebras with an Additional Binary Operation. Studia Logica 42 (4):389 - 405.
Added to index2009-01-28
Total downloads3 ( #346,193 of 1,692,866 )
Recent downloads (6 months)1 ( #182,244 of 1,692,866 )
How can I increase my downloads?