摘要：将逻辑系统的语法转化为特定的初始代数结构，以便进行代数研究是本文的主要目标。这种代数结构可以选择在一个范畴的全子范畴上的各种克隆。我们展示了等式逻辑、λ演算和一阶逻辑的语法可以表示为正整数集上的克隆或克隆的右代数。语义则由这些克隆的左代数派生的结构表示。
作者：Zhaohua Luo
论文ID：0810.3162
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2008-10-20
PDF 下载： 英文版 中文版pdf翻译中