Email Gateway (Sep 26 2023 at 10:32): Email Gateway (Sep 26 2023 at 10:32):From: Tobias Nipkow <nipkow@in.tum.de>
Cardinality and Representation of Stone Relation Algebras
Walter Guttmann
In relation algebras, which model unweighted graphs, the cardinality operation
counts the number of edges of a graph. We generalise the cardinality axioms to
Stone relation algebras, which model weighted graphs, and study the
relationships between various axioms for cardinality. We also give a
representation theorem for Stone relation algebras.
https://www.isa-afp.org/entries/Relational_Cardinality.html
Enjoy!
Last updated: Jan 04 2025 at 20:18 UTC