遗传哈罗普公式逻辑的一种新执行模型
计算机科学中的逻辑
2015-07-08 v1
摘要
一阶遗传哈罗普公式（）类是一阶霍恩子句的一个成熟扩展。其操作语义基于直觉主义可证性。我们为提出了另一种基于博弈语义的操作语义。这种新语义具有若干有趣的性质：特别是，它为Prolog中的谓词赋予了逻辑地位。
引用
@article{arxiv.1507.01771,
title = {A New Execution Model for the logic of hereditary Harrop formulas},
author = {Keehang Kwon},
journal= {arXiv preprint arXiv:1507.01771},
year = {2015}
}
备注
6 pages. arXiv admin note: substantial text overlap with arXiv:1211.6535