莱克斯·亨德里克斯;迪克·德·乔恩 有限生成的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文件 MSC公司： 03G25号 与逻辑相关的其他代数 03B45号 模态逻辑（包括规范逻辑） 2005年6月 具有附加运算的布尔代数（可对角化代数等） 关键词：可对角化代数;有限生成代数;可解释理论;可证明逻辑;皮亚诺算术;算术解释;精确公式 PDF格式BibTeX公司 XML格式引用 \textit{L.Hendriks}和\textit{D.de Jongh}，莱克特。Notes纯应用。数学。180、137--160（1996年；Zbl 0865.03053）