托马索·弗拉米尼奥 无限值事件上概率逻辑的标准完备性。 （英语） Zbl 07170150号 Kern-Isberner，Gabriele（编辑）等，《不确定性推理的符号和定量方法》。2019年9月18日至20日，第15届欧洲会议，ECSQARU 2019，塞尔维亚贝尔格莱德。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11726, 397-407 (2019). 摘要：具有内部状态的MV代数，简称SMV代数，是逻辑\（\mathrm｛SFP｝（\text｛Ł｝，\text｛Ł｝）\）的等价代数语义，它允许表示和推理无限值事件的概率。在本文中，我们将朝着建立\（\mathrm｛SFP｝（\text｛Ł｝，\text｛Ł｝）\）关于标准SMV代数类的完备性迈出第一步，自第一篇关于SMV代数的论文发表以来，这个问题一直悬而未决。更准确地说，我们将证明，如果我们将注意力局限于一个特殊但有表现力的公式子类，那么（mathrm{SFP}（text{{}，text{}）的定理与一类SMV-代数的重言式相同，可以合理地称为“标准”。关于整个系列，请参见[Zbl 1419.68012号]. 引用于1文件 MSC公司： 03B48号 概率和归纳逻辑 05年6月 MV代数 关键词：MV代数;内部状态;标准完整性;概率逻辑 PDF格式BibTeX公司 XML格式引用 \textit{T.弗拉米尼奥}，莱克特。注释计算。科学。11726、397--407（2019；Zbl 07170150） 全文： 内政部 链接