Cylindric Algebras and Algebras of Substitutions
Author:
- Charles PinterCPCharles Pinter
Open Access
- 1 January 1973
- journal article
- Published by JSTOR in Transactions of the American Mathematical Society
- Vol. 175, 167-179
Abstract
Several new formulations of the notion of cylindric algebra are presented. The class of all cylindric algebras of degree is shown to be definitionally equivalent to a class of algebras in which only substitutions (together with the Boolean , and ) are taken to be primitive operations. Then is shown to be definitionally equivalent to an equational class of algebras in which only substitutions and their conjugates (together with , and ) are taken to be primitive operations.Keywords
This publication has 3 references indexed in Scilit:
- Substitution algebras in their relation to cylindric algebrasArchive for Mathematical Logic, 1970
- Transformation AlgebrasCanadian Journal of Mathematics, 1961
- Boolean Algebras with Operators. Part IAmerican Journal of Mathematics, 1951