Technical Report TR-ARP-19-95
Automated Reasoning Project
Research School of Information Sciences and Engineering and Centre for Information Science Research
Australian National University
December, 7, 1995
Cut-free Display Calculi for Relational Algebras
Abstract 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.
This work partly supported by the Institute of Applied Mathematics and Computer Science, University of Bern, Switzerland.