The Semantics of Predicate Logic as a Programming Language

The Semantics of Predicate Logic as a Programming Language
复制标题

DOI：
10.1145/321978.321991
复制
发表时间：
1976-10
期刊：
J. ACM
影响因子：
--
通讯作者：
M. H. Emden;R. Kowalski
M. H. Emden;R. Kowalski
中科院分区：
其他
文献类型：
--
作者：
M. H. Emden;R. Kowalski

文献摘要

被引文献

相似文献

一阶谓词逻辑中的句子可以有效地解释为程序。本文定义了谓词逻辑程序的操作语义和不动点语义，并研究了谓词逻辑程序与逻辑的证明论和模型论的联系。结果表明，操作语义是证明论的一部分，不动点语义是模型论语义的一个特例。
Sentences in first-order predicate logic can be usefully interpreted as programs. In this paper the operational and fixpoint semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated. It is concluded that operational semantics is a part of proof theory and that fixpoint semantics is a special case of model-theoretic semantics.