1) fuzzy predicate calculus
模糊谓词演算
1.
A new formal deductive system for fuzzy predicate calculus;
一个新的模糊谓词演算形式系统
2) predicate calculus
谓词演算
1.
Construction of predicate calculus finite set based on the requirement of management information ontology
管理信息本体需求的谓词演算有限集构造
2.
The safety of the system is analyzed with the predicate calculus.
本文基于模型驱动开发方法,使用结构分析和设计语言设计铁路平交道口控制系统,并使用谓词演算对系统的安全性进行分析,提高了系统的开发效率。
4) predicate m-calculus
谓词m演算
1.
The modal graphs are effective graph forms for the predicate m-calculus.
模态图是谓词m演算的一种有效的图形表示形式。
5) restricted predicate calculus
狭谓词演算
6) pure predicate calculus
纯谓词演算
补充资料：最小谓词演算
最小谓词演算
dicate calculus minimal functional cakuhs ~$L minimal pr-
最小谓词演算【m动血“目五.团.川。山川拐或mini四IPr-。五‘a七ealc山出;M班.“Ma肠aoe中州“朋.0二月‘.Oe Hc，-。e二Hael 一个谓词演算，它包括所有最小命题演算的公理模式，以及通常量词公理模式和推理规则，它们是: 丫xA(x)。A(t)，A(r)。己xA(x)(t是任意项)，分离法则(modus pol℃ns)以及 C OA(a)A(a)。C C“V xA(戈)’日xA(x)。C(变元a不在A(x)及C中出现).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条