We give a propositional cut-free Gentzen-like calculus for
relation algebras using Belnap's Display Logic. The calculus
extends trivially to cater for a large class of axiomatic
extensions of relation algebras where the axioms appear as
purely structural rules. The calculus incorporates features of
Relevant Display Logics and Modal Display Logics, highlighting
the relationship between relation algebras and substructural
logics.