Cardinality and Representation of Stone Relation Algebras

Hitoshi Furusawa, Walter Guttmann

Previous work has axiomatised the cardinality operation in relation algebras, which counts the number of edges of an unweighted graph. We generalise the cardinality axioms to Stone…