文章詳目資料

International Journal of Fuzzy Systems EISCIEScopus

  • 加入收藏
  • 下載文章
篇名 On the Independence of the Formal System L^*
卷期 14:2
作者 Daowu Pei
頁次 226-232
關鍵字 Fuzzy logicFormal system L^*IndependenceNilpotent minimum logicEISCISCIEScopus
出刊日期 201206

中文摘要

英文摘要

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.

本卷期文章目次

相關文獻