本書系統(tǒng)闡述模糊邏輯標準完備性證明的各種方法和理論，為初學者盡可能多的提供理論和技術(shù)上的細節(jié)，使其能盡快進入這一課題的研究工作。特別地，較為詳細的介紹了作者在這些方面所做的工作，對IUL完備性的證明進行了詳細的論述，并針對主算法的最困難部分給出了實例,這在一般地論文寫作是不可能的。

更多科學出版社服務，請掃碼獲取。