Varieties of relation algebras (Q797616): Difference between revisions

Relation algebras have been introduced by A. Tarski to mimic the calculus of binary relations on a set. They have proved to be very interesting algebras for many reasons, e.g. set-theory can be interpreted within relation algebras. Moreover relational algebras have quite exceptional structural properties, which are the main theme of this paper. This paper gives an excellent overview on varieties of relation algebras and then works out equational bases for many interesting varieties of relation algebras. An important tool are splitting relation algebras and their splitting equations.