模糊关系和广义度量空间的通用定量代数
摘要：定量代数理论的推广，推广了Mardare、Panangaden和Plotkin的理论，其中：（i）定量代数的载体不再限制为度量空间，可以是任意模糊关系或广义度量空间；（ii）代数操作的解释不需要是非扩张的。我们的主要结果包括：一个新颖的声音和完备的证明系统，证明自由定量代数总是存在的，证明了引导的自由-忘却自由关联的严格单调性，所有提升有限性单子(在集合上)的(在模糊关系上)的单子都有定量等式表示。
作者：Matteo Mio, Ralph Sarkis, Valeria Vignudelli
论文ID：2304.14361
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-18