莱克斯·亨德里克斯;迪克·德·乔恩 有限生成的Magari代数和算术。 (英语) Zbl 0865.03053号 Ursini,Aldo(编辑)等人,《逻辑与代数》。纪念罗伯托·马加里的国际会议记录,1994年4月26日至30日,意大利蓬蒂纳诺。纽约,纽约:Marcel Dekker。莱克特。Notes纯应用。数学。180, 137-160 (1996). 作者研究了有限个命题变量中可证明逻辑L(别名GL)上的可解释理论,即存在算术句子序列的命题理论(p_1,dots,p_n)这样,公式\(\Psi \)是\(T \)iff \(\ Psi ^*\)的结果,是PA(=皮亚诺算术)在算术解释\(^*\)中的一个定理,其中原子公式\(p_i \)被解释为\(a_i\)。作者根据克里普克模型给出了可解释理论和精确公式(如果公式将可解释理论公理化,则公式是精确公式)的各种有趣的语义特征。在最后一节中,我们展示了如何将该理论应用于计算62个低复杂度的精确公式。关于整个系列,请参见[Zbl 0846.00022号].审核人:L.Esakia(第比利斯) 引用于1文件 理学硕士: 03G25号 与逻辑相关的其他代数 03B45号 模态逻辑(包括规范逻辑) 2005年6月 具有附加运算的布尔代数(可对角化代数等) 关键词:可对角化代数;有限生成代数;可解释理论;可证明逻辑;皮亚诺算术;算术解释;精确公式 PDF格式BibTeX公司 XML格式引用 \textit{L.Hendriks}和\textit{D.de Jongh},莱克特。Notes纯应用。数学。180、137--160(1996年;Zbl 0865.03053)