剩余格的预群可表示扩张
计算机科学中的逻辑
2026-01-23 v1
摘要
群可表示关系代数在可表示关系代数的研究中扮演着重要角色。分配对合 FL-代数（DInFL-代数）类推广了关系代数，以及 Sugihara 幺半群和 MV-代数。我们从预群构造 DInFL-代数，并证明它们可以表示为二元关系代数。即使对于有限预群，我们也能得到具有非布尔格约简的 DInFL-代数的关系表示。如果预群被赋予一个特定的一元逆序运算，那么我们的构造将产生分配拟关系代数的表示结果。
引用
@article{arxiv.2601.15905,
title = {Pregroup representable expansions of residuated lattices},
author = {Andrew Craig and Claudette Robinson},
journal= {arXiv preprint arXiv:2601.15905},
year = {2026}
}
备注
18 pages, 1 figure