【摘要】 讨论了经典逻辑的自然演绎系统在模糊逻辑中的对应形式。基于著名的形式演绎系统L ,建立起对应的自然演绎系统L ND,并且证明了这个系统的完备性。由于一系列新的推理规则的引入 ,模糊逻辑的推理能力得到明显增强。更多还原

【Abstract】 The corresponding version in fuzzy logic of the natural deductive system of classical logic is disscussed. Based on the famous formal deductive system L , the corresponding natural deductive system L  ND  is built up, its some interesting properties are given out, and the completeness of this system is also showed, The inference ability of fuzzy logic based on the system L  is greatly enforced because a series of new inference rules are introduced into the system L .更多还原