A Microcomputer Based System for Small Relation Algebras

Abstract 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.