David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 72 (2):265-284 (2002)
We will study the class RSA of -dimensional representable substitution algebras. RSA is a sub-reduct of the class of representable cylindric: algebras, and it was an open problem in Andréka  that whether RSA can be finitely axiomatized. We will show, that the answer is positive. More concretely, we will prove, that RSA is a finitely axiomatizable quasi-variety. The generated variety is also described. We note that RSA is the algebraic counterpart of a certain proportional multimodal logic and it is related to a natural fragment of first order logic, as well.
|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
No citations found.
Similar books and articles
Hernando Gaitán & Milton H. Perea (2004). A Non-Finitely Based Quasi-Variety of de Morgan Algebras. Studia Logica 78 (1-2):237 - 248.
Robin Hirsch & Ian Hodkinson (1997). Complete Representations in Algebraic Logic. Journal of Symbolic Logic 62 (3):816-847.
Tarek Sayed Ahmed & Istvan Németi (2001). On Neat Reducts of Algebras of Logic. Studia Logica 68 (2):229-262.
Robin Hirsch & Ian Hodkinson (1997). Step by Step-Building Representations in Algebraic Logic. Journal of Symbolic Logic 62 (1):225-279.
Gábor Sági (2000). A Completeness Theorem for Higher Order Logics. Journal of Symbolic Logic 65 (2):857-884.
Tarek Sayed Ahmed (2008). On Complete Representations of Reducts of Polyadic Algebras. Studia Logica 89 (3):325 - 332.
Tarek Sayed Ahmed (2007). A Note on Neat Reducts. Studia Logica 85 (2):139 - 151.
István Németi & Gábor Sági (2000). On the Equational Theory of Representable Polyadic Equality Algebras. Journal of Symbolic Logic 65 (3):1143-1167.
I. Németi & A. Simon (2009). Weakly Higher Order Cylindric Algebras and Finite Axiomatization of the Representables. Studia Logica 91 (1):53 - 62.
Roger D. Maddux (1989). Nonfinite Axiomatizability Results for Cylindric and Relation Algebras. Journal of Symbolic Logic 54 (3):951-974.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads3 ( #312,978 of 1,139,868 )
Recent downloads (6 months)1 ( #165,020 of 1,139,868 )
How can I increase my downloads?