分配型准关系代数与DInFL代数的对偶理论与表示
计算机科学中的逻辑
2026-01-30 v2
摘要
我们为完备的完美分配型准关系代数和完备的完美分配型反配FL代数构建了对偶性。这些对偶的对偶是具有附加结构的部分有序框。这些框类似于用于研究关系代数的原子结构。我们还扩展了从完备的完美代数到所有代数的对偶性，借助称为双指向框的框架，其普莱斯特 拓扑。随后我们转向这些代数作为二进制关系的表示问题。一些代数可作为可表示关系代数的项子域实现，因而是可表示的。我们详细报告了已知的至多六个元素的所有代数的表示。
引用
@article{arxiv.2505.07789,
title = {Duality theory and representations for distributive quasi relation algebras and DInFL-algebras},
author = {Andrew Craig and Peter Jipsen and Claudette Robinson},
journal= {arXiv preprint arXiv:2505.07789},
year = {2026}
}