1) labeled natural deduction system
标号自然演绎系统
2) natural deductive system
自然演绎系统
1.
The corresponding version in fuzzy logic of the natural deductive system of classical logic is disscussed.
讨论了经典逻辑的自然演绎系统在模糊逻辑中的对应形式。
3) natural deduction
自然演绎
1.
Abstract operator logic and its natural deduction system;
抽象算子逻辑及其自然演绎系统
4) Symbol Deduction System
符号演绎系统
5) standard deduction system
标准演绎系统
6) natural deduction t
自然演绎型
1.
Two intuitionistic systems of firstorder sentential calculus, Hilbert s type(HSI) and natural deduction type(NDSI), were introduced.
介绍了一阶命题演算的两个直觉主义系统 :希尔伯特型 (HSI)及自然演绎型 (NDSI) ,并证明了这两个系统的等价性 ,揭示了直觉主义逻辑的内涵及与其他非经典逻辑的关
补充资料：标号
①某些产品用来表示性能（大多为物理性能）的数字。如水泥因抗压强度不同，而有200号、300号、400号、500号、600号等各种标号。②泛指标志和符号。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条