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.

Abstract

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.

License

BSD License

History

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

Topics

Session Stone_Relation_Algebras

Depends on

Used by

Cite

× 
@article{Stone_Relation_Algebras-AFP,
  author  = {Walter Guttmann},
  title   = {Stone Relation Algebras},
  journal = {Archive of Formal Proofs},
  month   = {February},
  year    = {2017},
  note    = {\url{https://isa-afp.org/entries/Stone_Relation_Algebras.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases: