Predicate Calculus and Program Semantics.

谓词演算与程序语义。

Thus a kind of new syntactical and semantical systems of fuzzy predicate calculus are formed.

从而形成了模糊谓词演算一种新的语构与语义体系。

Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.

讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。

Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.

谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。

A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus' syntax.

一个合法的谓词演算表达式，即谓词演算语法所允许的公式。

In this paper, a conditional predicate calculus logic was proposed for representing and reasoning about PKI trust model.

本文提出了一种用条件谓词逻辑来表示和推理pki信任关系的方法。

This paper investigates the theory and application of incomplete information system by using the medium logic predicate calculus system MFM.

本文借助中介逻辑谓词演算系统MFM，对不完全信息系统的理论和应用进行了研究。

This kind of assertion seems to require special language extensions and has led people to suggest introducing first-order predicate calculus.

这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。

After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.

之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。

Informally, XQuery is designed to be able to construct any XML document that can be computed from input XML documents using the power of the first-order predicate calculus.

XQuery被非正式地设计为可以构造XML文档，而这些XML文档是通过对输入的XML文档进行一阶谓词演算得出的。

Based on the relational knowledge model, the knowledge base management system GKBMS is introduced in this paper. GKBMS combines predicate calculus with relational calculus.

本文以关系知识模型为基础，用谓词演算和关系演算描述了一个知识库管理系统GKBMS。