A Relation-Algebraic Approach to Multirelations and Predicate Transformers

The correspondence between up-closed multirelations and isotone predicate transformers is well known. Less known is that multirelations have also been used for modelling topological contact, not only computations. We investigate how properties from these two lines of research translate to predicate transformers. To this end, we express the correspondence of multirelations and predicate transformers using relation algebras. It turns out to be similar to the correspondence between contact relations and closure operations. Many results generalise from up-closed to arbitrary multirelations.

• Type: Journal
• Year: 2015
• Where: MPC
• Authors: Rudolf Berghammer, Walter Guttmann
• Keywords: Mathematics, MPC 2015