Relation Algebra

Alasdair Armstrong, Simon Foster 📧, Georg Struth 🌐 and Tjark Weber 🌐

January 25, 2014


Tarski's algebra of binary relations is formalised along the lines of the standard textbooks of Maddux and Schmidt and Ströhlein. This includes relation-algebraic concepts such as subidentities, vectors and a domain operation as well as various notions associated to functions. Relation algebras are also expanded by a reflexive transitive closure operation, and they are linked with Kleene algebras and models of binary relations and Boolean matrices.
BSD License


Theories of Relation_Algebra