保拉·福切里;保罗·金蒂里尼;玛丽亚·特蕾莎·莫尔菲诺 作为概率证明理论基础的自动演绎研究。 (英语) Zbl 0874.03012号 Ursini,Aldo(编辑)等人,《逻辑与代数》。纪念罗伯托·马加里的国际会议记录,1994年4月26日至30日,意大利蓬蒂纳诺。纽约,纽约:Marcel Dekker。莱克特。Notes纯应用。数学。180, 491-527 (1996). 作者探索了以下问题:给定一个算术方程式片段(T)和一个通过归纳和重写证明的定理(S),为属于(T)的(S)赋值一个概率。概率的概念是通过证明的熵或信息量的概念和虚拟证明的概念产生的。从技术上讲,这涉及到为方程逻辑开发一种证明理论,并开发评估证明长度的标准。关于整个系列,请参见[Zbl 0846.00022号].审核人:D.盆地(弗莱堡i.Br.) 引用于2文件 MSC公司: 03立方厘米35 证明和逻辑操作的机械化 30楼03号 一阶算法和片段 94甲17 信息的度量,熵 20层03 证明的复杂性 关键词:算术方程式片段;方程逻辑的证明理论;证明的长度;熵;虚拟证据 PDF格式BibTeX公司 XML格式引用 \textit{P.Forcheri}等人,Lect。Notes纯应用。数学。180、491--527(1996年;Zbl 0874.03012)