1 paper
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…