Robin Hirsch's articles on Reducts

These could be reducts of relation algebras, in the sense of dealing with reduced signatures, or there are some concerning the relation algebra reducts of cylindric algebras.  Some are not really reducts at all (e.g. boolean modules) but have some variation to the signature of relation algebra.

• R. Hirsch and I. Hodkinson.   Connections between cylindric algebras and relation algebras.
  Chapter 14 in Relational Methods in Computer Science Applications, (pages 239-246) which is published in volume 65 of Springer Physica Verlag series  Studies in Fuzziness and Soft Computing , 2001.
• R. Hirsch and I. Hodkinson. Relation algebras with n-dimensional bases
  A revised version appears in the  Annals of Pure and Applied Logic ( vol. 101 pp 227-274, 2000, pub. Elsevier) but for copyright reasons this version cannot be posted here.
• R. Hirsch and I. Hodkinson. Relation algebras from cylindric algebras, I
  In Annals of Pure and Applied Logic , vol. 112, pp 225-266, 2001.
• R. Hirsch and I. Hodkinson. Relation algebras from cylindric algebras, II
  In Annals of Pure and Applied Logic , vol. 112, pp 267-297, 2001.
• R.Hirsch. Relation algebra reducts of cylindric algebras and complete representations .   Journal of Symbolic Logic, vol 72(2), pp 673-703, 2007.
• R. Hirsch and S. Mikulas.     Semilattice Ordered Monoids.   This is draft copy. The original publication is available at www.springerlink.com   vol. 57, pp 333-370, Algebra Universalis, 2007.
• R.Hirsch. The class of representable ordered monoids has a recursively enumerable, universal axiomatisation but it is not finitely axiomatisable.
  Logic Journal of the IGPL (OUP) , vol. 13 no. 2, pp 159-171, 2005.
• R.Hirsch.  Peirce Algebras and Boolean Modules .  Journal of Logic and Computation, vol 17, pp 255-283, 2007.  A draft version of this paper is available here .
• R. Hirsch an d S. Mikulas. Positive fragments of relevance logic and algebras of binary relations , 2010.
• R Hirsch and S Mikulas, "Axiomatisability of Antidomain Algebras", provisionally accepted to appear in Journal of Logic and Algebraic Programming, 2010.