Skip to main content
Conference Proceedings

Stone relation algebras

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2017) 10226 LNCS 127-143
DOI: 10.1007/978-3-319-57418-9_8
5Citations
Citations of this article
2Readers
Mendeley users who have this article in their library.
Get full text

Abstract

We study a generalisation of relation algebras in which the underlying Boolean algebra structure is replaced with a Stone algebra. Many theorems of relation algebras generalise with no or small changes. Weighted graphs represented as matrices over extended real numbers form an instance. Relational concepts and methods can thus be applied to weighted graphs. All results are formally verified in Isabelle/HOL.

Cite

CITATION STYLE

APA

Guttmann, W. (2017). Stone relation algebras. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10226 LNCS, pp. 127–143). Springer Verlag. https://doi.org/10.1007/978-3-319-57418-9_8

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free