| 1. | Regular similarity relation on f in propositional logic
命题逻辑公式集上的正则相似关系 |
| 2. | Drs and the formula of first - order predicate logic
与一阶谓词逻辑公式 |
| 3. | Truth degree of intuitionistic fuzzy propositional logic formula
直觉模糊命题逻辑公式的真度 |
| 4. | Generating sat instances from first - order formulas
由一阶逻辑公式得到命题逻辑可满足性问题实例 |
| 5. | Probability truth degree of intuitionistic fuzzy propositional logic system
直觉模糊命题逻辑公式的概率真度 |
| 6. | A reasoning theory based on the finite interpretation of formulas ' truth degree in first - order fuzzy logic
基于一阶模糊逻辑公式的有限解释真度的推理理论 |
| 7. | Theory of truth degree based on the finite interpretation and enumerable interpretation of fuzzy predicate logic formulas
模糊谓词逻辑公式的有限和可数解释真度理论 |
| 8. | It can be used to validate the unsatisfiability and satisfiability of propositional logic formulae quickly
这种方法可以对逻辑公式的原始形态直接进行计算，无需化简。 |
| 9. | The characteristics and forms of describing properties of uml models with linear temporal logic are also studied
研究了线性时态逻辑公式表达uml模型性质的特点和形式。 |
| 10. | The systems are usually described by the timed automata and the properties are specified by the temporal logic
这类系统通常用时间自动机来表示，而它们的性质则用时序逻辑公式表示。 |
