| 1. | In the study of non - classical logic , lattice - valued logic system is of extensive significance
在非经典逻辑的研究中，格值逻辑的研究具有重要而广泛的意义。 |
| 2. | About this , the completeness of the formal deductive systems is one of the main branches
在完全解决模糊推理的逻辑基础问题中，形式演绎系统的完备性是非经典逻辑的主要研究方向之一。 |
| 3. | Lattice - valued logic is an important kind of non - classical logic and an extension of both classical logic and fuzzy logic
格值逻辑是一种重要的非经典逻辑，它是经典逻辑和模糊逻辑的推广。 |
| 4. | Understanding argument as a semantic conception or as pragmatic conception is the watershed between informal logic and classical logic
将论证理解为语义学概念还是语用学（辩证的）概念是非形式逻辑和经典逻辑的分水岭。 |
| 5. | Non - classical logic is an active research direction in the field of artificial intelligence and a logic foundation for uncertainty reasoning
非经典逻辑是人工智能领域中十分活跃的研究方向，是不确定性推理的理论基础。 |
| 6. | Classical logic is established on the basis of a close world , and it can be used in reasoning only if all information is known
摘要经典逻辑是建立在封闭世界预设的基础上的，但逻辑系统也可以建立在开放世界预设的基础上。 |
| 7. | And the relation between proposition and proposition is not considered . but in generalized propositional logic the relation of proposition is discussed
这些逻辑虽然突破了经典逻辑的二值性，但是没有考虑随之而来的命题之间的相关性。 |
| 8. | Non - classical logic is the theoretical basis of many - valued logic , fuzzy reasoning and fuzzy control . fuzzy logic is the most active branch of non - classical logic
非经典逻辑是多值逻辑、模糊推理及模糊控制等的理论基础，模糊逻辑是非经典逻辑中极具活力的一个分支。 |
| 9. | ( 3 ) it is well known that the determinant problem in classic proposition logic is a np complete problem , and the first order logic is a half determinant one . so both the analysis of computing complexity and the realization of it are the most important fields
( 3 )众所周知，经典命题逻辑中的判定问题是np完全问题，而一阶逻辑是半可判定问题，关于非经典逻辑特别是非单调逻辑的计算复杂性分析和算法实现是一个重要的研究领域。 |
