Cardinality and Representation of Stone Relation Algebras
Copyright policy )Cardinality and Representation of Stone Relation Algebras
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 relation algebras, which model weighted graphs, and study the relationships between various axioms for cardinality. This results in simpler cardinality axioms also for relation algebras. We give sufficient conditions for the representability of Stone relation algebras and for Stone relation algebras to be relation algebras. added explanations
- Kagoshima University Japan
- University of Canterbury New Zealand
FOS: Computer and information sciences, Logic in Computer Science, Logic, FOS: Mathematics, F.4.1, Logic (math.LO), Logic in Computer Science (cs.LO)
FOS: Computer and information sciences, Logic in Computer Science, Logic, FOS: Mathematics, F.4.1, Logic (math.LO), Logic in Computer Science (cs.LO)
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).0 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!