%0会议论文%T逻辑FP(Ł,\321»)和两种排序的等式状态%塞拉菲娜·拉彭塔%塞巴斯蒂亚诺·纳波利塔诺%卢卡·斯帕达%第十三届不精确概率国际研讨会论文集:理论与应用%C机器学习研究进展%D 2023年%E恩里克·米兰达%伊格纳西奥·蒙特斯%E Erik Quaeghebeur公司%E芭芭拉·万塔吉%F pmlr-v215-lapenta23a型%我PMLR%电话280-287%单位https://proceedings.mlr.press/v215/lapenta23a.html%第215页%逻辑{FP({{},Ł)}是由L.Godo和T.Flaminio引入的,作为带有模态的{{}ukasiewicz逻辑的扩展,用于推理模糊事件的概率。我们证明了{FP({},{)}对于一类称为等式状态它们是格序群上著名状态理论的等式表示。