证据半环
逻辑
2023-08-21 v2
摘要
在传统的证成逻辑中，证据项具有多项式的语法形式，但却未配备相应的代数结构。我们提出一种新颖的证成逻辑语义方法，通过半环对证据建模。因此，证成项可被解释为该半环上的多项式函数。这为证据项提供了充分的语义，并厘清了变量在证成逻辑中的作用。此外，该代数结构使得对证据进行计算成为可能。根据所选半环的不同，这可用于建模信任、概率、代价等。最后同样重要的是，半环方法对于获得模态不动点逻辑的实现过程似乎颇具前景。
引用
@article{arxiv.2308.05506,
title = {Semirings of Evidence},
author = {Michael Baur and Thomas Studer},
journal= {arXiv preprint arXiv:2308.05506},
year = {2023}
}