Sciweavers

MPC
2015
Springer

A Relation-Algebraic Approach to Multirelations and Predicate Transformers

8 years 7 months ago
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.
Rudolf Berghammer, Walter Guttmann
Added 15 Apr 2016
Updated 15 Apr 2016
Type Journal
Year 2015
Where MPC
Authors Rudolf Berghammer, Walter Guttmann
Comments (0)