A Mechanised Proof System for Relation Algebra using Display Logic.

Jeremy E. Dawson, Rajeev Gor

Browse the full JELIA paper archive.