A Microcomputer Based System for Small Relation Algebras

Algebras of n-ary relations are a useful tool in the investigation of logics with limited resources; for example, the equational logic of Tarskiʹs relation algebras corresponds to the three variable fragment of first order logic. We present a computer system which assists in the generation and investigation of properties of relation algebras.