迈克尔·鲍尔;托马斯·施图德 证据的半环。 （英语） Zbl 07451579号 J.日志。计算。 31，第8期，2084-2106（2021）. 摘要：在传统的证明逻辑中，证据项具有多项式的句法形式，但没有相应的代数结构。我们提出了一种新的证明逻辑语义方法，该方法通过半环对证据进行建模。因此，证明项可以解释为该半环上的多项式函数。这为证据项提供了足够的语义，并阐明了变量在证明逻辑中的作用。此外，代数结构使用证据进行计算成为可能。根据所选的半环，这可以用于建模信任、概率、成本等。最后，但并非最不重要的是，半环方法似乎有希望获得模态不动点逻辑的实现过程。 引用于1文件 MSC公司： 03B42号 知识和信念的逻辑（包括信念变化） 2016年60月 半环 关键词：证明逻辑;半环;完整性;实现 PDF格式BibTeX公司 XML格式引用 \textit{M.Baur}和\textit{T.Studer}，J.Log。计算。31，第8号，2084--2106（2021；Zbl 07451579） 全文： DOI程序