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.
Problem of Rigid Assignment to Variables in Predicate Modal Logic
谓词模态逻辑中变量的严格指派问题
5.
predicate logic with equality
带同异性的谓词逻辑
6.
Logical Relationship between Fuzzy Error Logical Decomposition Words and Connotative Negative Words;
模糊错误逻辑分解转化词与内涵否定词的逻辑关系
7.
Fuzzy BIK~+-logic and Non-commutative Fuzzy Logics
模糊BIK~+-逻辑与非可换模糊逻辑(英文)
8.
Fuzzy Thinking; The New Science of Fuzzy Logic
模糊思维：模逻辑新科学
9.
A Model Checking Algorithm for Predicate Mu Calculus and Spatial Logic
基于谓词μ演算和空间逻辑的模型检测算法研究
10.
L～* Predicate Logic and Newly Search for the R_0 Algebra;
L～*谓词逻辑与R_0代数性质新探
11.
Application of Petri Nets in Predicate Logic Reasoning;
谓词逻辑推理中的Petri网应用
12.
Prolog Programming Based on Predicate Logic
基于谓词逻辑的Prolog程序设计
13.
validity of formula in fuzzy logic
模糊逻辑公式的有效性
14.
Study of Fuzzy Association Classification Based on AFS Fuzzy Logic
基于AFS模糊逻辑的模糊关联分类研究
15.
Fuzzy queries with weights based on fuzzy logic conjunctions
基于模糊逻辑带权重的模糊查询研究
16.
Division Operation Semantics and Realization by SQL Based on Predicate Logic;
基于谓词逻辑的除法运算语义及其SQL实现
17.
The Application of First-Order Predicate Logic in the Field of Knowledge Representation of Artificial Intelligence;
一阶谓词逻辑在人工智能知识表示中的应用
18.
On the Exceptional Cases of the Consistency in the Logical Subject of Particles;
浅析分词逻辑主谓关系一致的几种特殊情况