名词逻辑程序
编程语言
2008-09-15 v2 计算机科学中的逻辑
摘要
名词逻辑是一种化学自然界语言的扩展，提供了一种简洁的基础，用于形式化和推理关于抽象语法的bound names（即 alpha 等价）的重命名。本文探讨了基于名词逻辑的逻辑程序。我们描述了一些典型的名词逻辑程序，发展了该类程序的模型论、证明论和操作语义。除了对实现正确性有益之外，这些结果为分析和推理名词逻辑程序提供了严格的基础，我们通过实例说明了这一点。
引用
@article{arxiv.cs/0609062,
title = {Nominal Logic Programming},
author = {James Cheney and Christian Urban},
journal= {arXiv preprint arXiv:cs/0609062},
year = {2008}
}
备注
46 pages; 19 page appendix; 13 figures. Revised journal submission as of July 23, 2007