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.
validity of formula in fuzzy logic
模糊逻辑公式的有效性
5.
Probability Truth Degree of Two Fuzzy Propositional Logic Systems;
两种模糊命题逻辑的公式的概率真度
6.
Problem of Rigid Assignment to Variables in Predicate Modal Logic
谓词模态逻辑中变量的严格指派问题
7.
Probability Truth Degree of Multi-valued Propositional Logic and Intuitionistic Fuzzy Propositional Logic System;
多值命题逻辑和直觉模糊命题逻辑公式的概率α-真度
8.
Provable degree of formula on theories in the propositional fuzzy logic system Gd;
命题模糊逻辑系统Gd中公式的理论可证度
9.
predicate logic with equality
带同异性的谓词逻辑
10.
Formalized Analysis of Trusted Computing Based on Conditional Predicate Logic
基于条件谓词逻辑的可信计算形式化分析
11.
Tautologies and Quasi-Tautologies in Fuzzy Modal Logic
模糊模态逻辑中的永真式与准永真式
12.
Logical Relationship between Fuzzy Error Logical Decomposition Words and Connotative Negative Words;
模糊错误逻辑分解转化词与内涵否定词的逻辑关系
13.
This paper proposes a formal framework based on predicate calculus that maps object models into relational ones to construct persistent object layer.
通过使用一种基于谓词逻辑的形式化框架来匹配对象模型到关系模型以构建持久对象层。
14.
Fuzzy BIK~+-logic and Non-commutative Fuzzy Logics
模糊BIK~+-逻辑与非可换模糊逻辑(英文)
15.
Interval-Valued Fuzzy Propositional Logic and Its Generalized Tautology;
区间值模糊命题逻辑及其广义重言式
16.
Calculation Formulas on Consistency Degrees of Theories in Fuzzy Logic Systems Luk and L~*;
模糊逻辑系统Luk和L~*中理论相容度的计算公式(Ⅲ)
17.
The Comparation of Truth Degrees of Formulas in FourFuzzy Propositional Logic Systems;
四个命题模糊逻辑系统中公式真度的大小之比较
18.
A Reasoning Theory Based on the Finite Interpretation of Formulas Truth Degree in First-order Fuzzy Logic;
基于一阶模糊逻辑公式的有限解释真度的推理理论