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.
The Application of First-Order Predicate Logic in the Field of Knowledge Representation of Artificial Intelligence;
一阶谓词逻辑在人工智能知识表示中的应用
4.
Conditional α-truth Degrees of Formulas Based on Finite Interpretation in Fuzzy Predicate Logic;
模糊谓词逻辑中基于有限解释的公式的条件α-真度理论
5.
Problem of Rigid Assignment to Variables in Predicate Modal Logic
谓词模态逻辑中变量的严格指派问题
6.
predicate logic with equality
带同异性的谓词逻辑
7.
Logical Relationship between Fuzzy Error Logical Decomposition Words and Connotative Negative Words;
模糊错误逻辑分解转化词与内涵否定词的逻辑关系
8.
A Reasoning Theory Based on the Finite Interpretation of Formulas Truth Degree in First-order Fuzzy Logic;
基于一阶模糊逻辑公式的有限解释真度的推理理论
9.
On the Exceptional Cases of the Consistency in the Logical Subject of Particles;
浅析分词逻辑主谓关系一致的几种特殊情况
10.
Fuzzy BIK~+-logic and Non-commutative Fuzzy Logics
模糊BIK~+-逻辑与非可换模糊逻辑(英文)
11.
This paper proposes a formal framework based on predicate calculus that maps object models into relational ones to construct persistent object layer.
通过使用一种基于谓词逻辑的形式化框架来匹配对象模型到关系模型以构建持久对象层。
12.
A Class of Monoids of Fuzzy Logic Systems and Homomorphic Mapping
一类模糊逻辑系统幺半群与同态映射
13.
FRESG:A Kind of Fuzzy Description Logic Reasoner
FRESG:一种模糊描述逻辑推理机
14.
Fuzzy Thinking; The New Science of Fuzzy Logic
模糊思维：模逻辑新科学
15.
A Model Checking Algorithm for Predicate Mu Calculus and Spatial Logic
基于谓词μ演算和空间逻辑的模型检测算法研究
16.
L～* Predicate Logic and Newly Search for the R_0 Algebra;
L～*谓词逻辑与R_0代数性质新探
17.
Application of Petri Nets in Predicate Logic Reasoning;
谓词逻辑推理中的Petri网应用
18.
Prolog Programming Based on Predicate Logic
基于谓词逻辑的Prolog程序设计