Stone 关系代数的基数与表示
计算机科学中的逻辑
2026-03-11 v4 逻辑
摘要
先前的工作在关系代数中公理化了基数运算，该运算计算无权重图的边数。我们将基数公理推广到 Stone 关系代数（其建模带权图），并研究各种基数公理之间的关系。这也为关系代数带来了更简单的基数公理。我们给出了 Stone 关系代数可表示以及 Stone 关系代数为关系代数的充分条件。
关键词
引用
@article{arxiv.2309.11676,
title = {Cardinality and Representation of Stone Relation Algebras},
author = {Hitoshi Furusawa and Walter Guttmann},
journal= {arXiv preprint arXiv:2309.11676},
year = {2026}
}
备注
added explanations