Cardinality and Representation of Stone Relation Algebras

作     者：Furusawa, Hitoshi Guttmann, Walter 

作者机构：Department of Science Kagoshima University Kagoshima Japan Department of Computer Science and Software Engineering University of Canterbury Christchurch New Zealand 

出 版 物：《arXiv》 (arXiv)

年 卷 期：2023年

核心收录：

主　　题：Algebra 

摘      要：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. Copyright © 2023, The Authors. All rights reserved.