Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: Stone relation algebras

Email Gateway (Aug 22 2022 at 15:02):

From: "Thiemann, Rene" <Rene.Thiemann@uibk.ac.at>
Dear all,

I’m happy to announce a new AFP entry by Walter Guttmann.
It extends his earlier work on Stone algebras.

Cheers,
René

Walter Guttmann

Stone Relation Algebras

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.

https://www.isa-afp.org/entries/Stone_Relation_Algebras.shtml

Last updated: Apr 18 2024 at 20:16 UTC