Cardinality and Representation of Stone Relation Algebras

Fundamenta Informaticae 2026 Open access

Read full text
Authors: Hitoshi Furusawa, Walter Guttmann
DOI: 10.46298/fi.12347
Cited by: 1

Abstract

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

Fields of Study & Subjects

Advanced Algebra and Logic Logic Reasoning and Knowledge Constraint Satisfaction and Optimization

Publication details

Journal / source
Fundamenta Informaticae
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Volume
Volume 195, Issues 1-4:...
Publication date
6 February 2026
Language
EN