● 摘要
近年来，模糊控制技术在应用方面取得举世瞩目的成功。然而，作为其核心的模糊推理，正如正文[6]所言，在数学基础上却并非无懈可击，至今都没有归入严密的逻辑系统中。所以，以研究模糊推理的数学基础为核心的模糊逻辑，作为一个全新的数学领域，引起了世界上许多著名学者的关注，并且取得了一系列重要的研究成果。 1997年，王国俊教授在文[4]构造了模糊命题演算的形式系统ζ*，该系统的否定算子和析取算子都是标准的模糊算子，蕴涵算子被称为R 0- 蕴涵算子，分别定义如下： 存在x,y∈[0,1],→x=1-x,x∨y=max(x,y) 1 x