1.
Theory of Truth Degree Based on the Measurable Set Interpretation of First-order Fuzzy Predicate Logic Gormulas;
一阶模糊谓词逻辑公式的可测集解释真度理论
2.
Theory of Truth Degree Based on the Finite Interpretation and Enumerable Interpretation of Fuzzy Predicate Logic Formulas;
模糊谓词逻辑公式的有限和可数解释真度理论
3.
Conditional α-truth Degrees of Formulas Based on Finite Interpretation in Fuzzy Predicate Logic;
模糊谓词逻辑中基于有限解释的公式的条件α-真度理论
4.
predicate logic with equality
带同异性的谓词逻辑
5.
Formalized Analysis of Trusted Computing Based on Conditional Predicate Logic
基于条件谓词逻辑的可信计算形式化分析
6.
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions).
表示个体,谓词,个体量化,和命题关系的一种形式逻辑。
7.
L～* Predicate Logic and Newly Search for the R_0 Algebra;
L～*谓词逻辑与R_0代数性质新探
8.
Application of Petri Nets in Predicate Logic Reasoning;
谓词逻辑推理中的Petri网应用
9.
Problem of Rigid Assignment to Variables in Predicate Modal Logic
谓词模态逻辑中变量的严格指派问题
10.
Prolog Programming Based on Predicate Logic
基于谓词逻辑的Prolog程序设计
11.
Division Operation Semantics and Realization by SQL Based on Predicate Logic;
基于谓词逻辑的除法运算语义及其SQL实现
12.
The Application of First-Order Predicate Logic in the Field of Knowledge Representation of Artificial Intelligence;
一阶谓词逻辑在人工智能知识表示中的应用
13.
On the Exceptional Cases of the Consistency in the Logical Subject of Particles;
浅析分词逻辑主谓关系一致的几种特殊情况
14.
validity of formula in fuzzy logic
模糊逻辑公式的有效性
15.
LIFT (Logically Integrated FORTRAN Translator)
逻辑集成公式翻译程序
16.
This paper proposes a formal framework based on predicate calculus that maps object models into relational ones to construct persistent object layer.
通过使用一种基于谓词逻辑的形式化框架来匹配对象模型到关系模型以构建持久对象层。
17.
atomic formula in predicate calculus
谓词演算中的原子公式
18.
A Study on Various Modes of Yandi s Title and Evolutions of the Han-dynasty Conception on Culture;
论炎帝称谓的诸种模式与两汉文化逻辑