基于Riesz空间的概率逻辑
摘要：引言： 我们引入了一种新颖的实值内生逻辑，用于表示概率转换系统的属性，称为Riesz模态逻辑。该逻辑的语法和语义设计直接受到Riesz空间理论的启发，Riesz空间是数学中通用代数学和函数分析相交领域的成熟领域。通过利用该理论的强大结果，我们开发了Riesz模态逻辑的对偶理论，形成了代数到余代数的对应关系。这带来了一系列的结果，包括：一个完备且可靠的公理化方法，证明了逻辑特征化概率双模和其他方便的结果，如完备性定理。这项研究旨在为后续关于带有定点运算符的Riesz模态逻辑扩展的研究打下基础。
作者：Robert Furber and Radu Mardare and Matteo Mio
论文ID：1903.09463
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22