261 research outputs found
Connections between Relation Algebras and Cylindric Algebras
Abstract. We give an informal description of a recursive representability-preserving reduction of relation algebras to cylindric algebras.
Tarski's influence on computer science
The influence of Alfred Tarski on computer science was indirect but
significant in a number of directions and was in certain respects fundamental.
Here surveyed is the work of Tarski on the decision procedure for algebra and
geometry, the method of elimination of quantifiers, the semantics of formal
languages, modeltheoretic preservation theorems, and algebraic logic; various
connections of each with computer science are taken up
Relation algebras from cylindric algebras, I
Accepted versio
- …