On the Independence of the Formal System L*

10.30000/IJFS.201206.0005

Daowu Pei

Fuzzy logic ； Formal system L^* ； Independence ； Nilpotent minimum logic

International Journal of Fuzzy Systems

14卷2期（2012 / 06 / 01）

226 - 232

英文

The formal system L^* of fuzzy propositional logic has been successfully applied to the joint research of fuzzy logic and fuzzy reasoning. The current paper further studies the syntactic structure of the system L^*, presents several new results with respect to this system. Especially, a simplified system which contains only seven axioms is proposed, and the system is found to be equivalent to the original system. Also, the independence of the simplified system is proved in the present paper.