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.
- Furusawa, H., & Guttmann, W. (2023). Cardinality and Representation of Stone Relation Algebras (Version 1). arXiv. https://doi.org/10.48550/ARXIV.2309.11676