Axiomatising various classes of relation and cylindric algebras

    by R. Hirsch and I. Hodkinson.

    Logic Journal of the IGPL 5 (1997) pp 209--229.

    The paper is available in .dvi and .ps format from IGPL with home page here.
    Here is a local ps.gz file of the paper (17 pages to print).

    The paper is a contribution to WoLLIC95 workshop in Recife, Brazil, July 1995. It is essentially an extended abstract of material in the following three papers.

  • Step by step --- building representations in algebraic logic
  • Complete representations in algebraic logic
  • Atom structures of relation algebras

    •  

     

    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.