Cylindric Algebras and Algebras of Substitutions^)

@inproceedings{Pinter2010CylindricAA,
  title={Cylindric Algebras and Algebras of Substitutions^)},
  author={Charles C. Pinter},
  year={2010}
}
Several new formulations of the notion of cylindric algebra are presented. The class CA of all cylindric algebras of degree a 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 CA 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. 

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-3 of 3 references

The basic concepts of algebraic logic

  • P. Halmos
  • Amer. Math. Monthly
  • 1956
Highly Influential
3 Excerpts

Boolean algebras with operators

  • A. Tarski
  • Fund . Math .
  • 1971

On the structure of abstract algebras

  • G. Birkhoff
  • Proc. Cambridge Philos. Soc
  • 1935

Similar Papers

Loading similar papers…