逻辑程序解释的组合语义
摘要：逻辑程序的语义是通过证明论，模型论以及立即结果算子的不动点给出的。如果子句逻辑是一种编程语言，那么它也应该具有组合语义。编程语言的组合语义遵循程序的抽象语法，通过对其组成单元的意义进行数学运算来组合一个单元的意义。逻辑的过程性解释只给出了逻辑程序的不完整的抽象语法。我们完成它，并将结果作为组合语义的基础。我们为了比较，介绍了塔斯基对一阶谓词逻辑的代数化，这在本质上是他选择的语法的组合语义。我们通过与立即结果算子的等价性来刻画我们的语义。
作者：M.H. van Emden
论文ID：cs/0602098
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23