透過您的圖書館登入
IP:18.117.74.41

並列摘要


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.

延伸閱讀