Stone Relation Algebras

Walter Guttmann 🌐

February 7, 2017

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


We develop Stone relation algebras, which generalise relation algebras by replacing the underlying Boolean algebra structure with a Stone algebra. We show that finite matrices over extended real numbers form an instance. As a consequence, relation-algebraic concepts and methods can be used for reasoning about weighted graphs. We also develop a fixpoint calculus and apply it to compare different definitions of reflexive-transitive closures in semirings.


BSD License


July 5, 2017
generalised extended reals to linear orders (revision b8e703159177)


Session Stone_Relation_Algebras