Axiomatising Various Classes of Relation and Cylindric Algebras

Abstract

We outline a simple approach to axiomatising the class of representable relation algebras, using games. We discuss generalisations of the method to cylindric algebras, homogeneous and complete representations, and atom structures of relation algebras. 
DOI: 10.1093/jigpal/5.2.209

Cite this paper

@article{Hirsch1997AxiomatisingVC, title={Axiomatising Various Classes of Relation and Cylindric Algebras}, author={Robin Hirsch and Ian M. Hodkinson}, journal={Logic Journal of the IGPL}, year={1997}, volume={5}, pages={209-229} }