The Natural Deductive System of Fuzzy Logic
Pei Dao · 2002
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 .