1.
Problem of Rigid Assignment to Variables in Predicate Modal Logic
谓词模态逻辑中变量的严格指派问题
2.
predicate logic with equality
带同异性的谓词逻辑
3.
Theory of Truth Degree Based on the Measurable Set Interpretation of First-order Fuzzy Predicate Logic Gormulas;
一阶模糊谓词逻辑公式的可测集解释真度理论
4.
Theory of Truth Degree Based on the Finite Interpretation and Enumerable Interpretation of Fuzzy Predicate Logic Formulas;
模糊谓词逻辑公式的有限和可数解释真度理论
5.
Conditional α-truth Degrees of Formulas Based on Finite Interpretation in Fuzzy Predicate Logic;
模糊谓词逻辑中基于有限解释的公式的条件α-真度理论
6.
A Model Checking Algorithm for Predicate Mu Calculus and Spatial Logic
基于谓词μ演算和空间逻辑的模型检测算法研究
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.
Prolog Programming Based on Predicate Logic
基于谓词逻辑的Prolog程序设计
10.
On the Basis of Logic Negation of Generalized Model Structural Word;
论广义模态结构词的逻辑否定及其依据
11.
On the Legitimacy of Modal Logic;
论模态逻辑的合法性——对蒯因式模态词解读的批判考察
12.
Division Operation Semantics and Realization by SQL Based on Predicate Logic;
基于谓词逻辑的除法运算语义及其SQL实现
13.
The Application of First-Order Predicate Logic in the Field of Knowledge Representation of Artificial Intelligence;
一阶谓词逻辑在人工智能知识表示中的应用
14.
On the Exceptional Cases of the Consistency in the Logical Subject of Particles;
浅析分词逻辑主谓关系一致的几种特殊情况
15.
Formalized Analysis of Trusted Computing Based on Conditional Predicate Logic
基于条件谓词逻辑的可信计算形式化分析
16.
This paper proposes a formal framework based on predicate calculus that maps object models into relational ones to construct persistent object layer.
通过使用一种基于谓词逻辑的形式化框架来匹配对象模型到关系模型以构建持久对象层。
17.
A Study on Various Modes of Yandi s Title and Evolutions of the Han-dynasty Conception on Culture;
论炎帝称谓的诸种模式与两汉文化逻辑
18.
Logical Relationship between Fuzzy Error Logical Decomposition Words and Connotative Negative Words;
模糊错误逻辑分解转化词与内涵否定词的逻辑关系