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||Philosophy Logic Mathematical Logic and Foundations Computational Linguistics|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Some Variants of Vaught's Conjecture From the Perspective of Algebraic Logic.G. Sagi & D. Sziraki - 2012 - Logic Journal of the IGPL 20 (6):1064-1082.
Omitting Types for Finite Variable Fragments and Complete Representations of Algebras.Hajnal Andréka, István Németi & Tarek Sayed Ahmed - 2008 - Journal of Symbolic Logic 73 (1):65-89.
Similar books and articles
A Non-Finitely Based Quasi-Variety of de Morgan Algebras.Hernando Gaitán & Milton H. Perea - 2004 - Studia Logica 78 (1-2):237 - 248.
Weakly Higher Order Cylindric Algebras and Finite Axiomatization of the Representables.I. Németi & A. Simon - 2009 - Studia Logica 91 (1):53 - 62.
On the Equational Theory of Representable Polyadic Equality Algebras.István Németi & Gábor Sági - 2000 - Journal of Symbolic Logic 65 (3):1143-1167.
A Completeness Theorem for Higher Order Logics.Gábor Sági - 2000 - Journal of Symbolic Logic 65 (2):857-884.
Step by Step-Building Representations in Algebraic Logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (1):225-279.
On Neat Reducts of Algebras of Logic.Tarek Sayed Ahmed & Istvan Németi - 2001 - Studia Logica 68 (2):229-262.
Complete Representations in Algebraic Logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (3):816-847.
Nonfinite Axiomatizability Results for Cylindric and Relation Algebras.Roger D. Maddux - 1989 - Journal of Symbolic Logic 54 (3):951-974.
Added to index2009-01-28
Total downloads12 ( #380,702 of 2,177,988 )
Recent downloads (6 months)6 ( #45,332 of 2,177,988 )
How can I increase my downloads?