计算机工程与应用 ›› 2016, Vol. 52 ›› Issue (5): 41-46.
周建仁1,2,吴洪博2
ZHOU Jianren1,2, WU Hongbo2
摘要: [BL?]命题演算形式演绎系统和IMTL命题演算形式演绎系统是从不同的角度出发建立的两种基础模糊命题演算的形式演绎系统。对两者进行了较细致的比较研究,从语构方面证明了两种命题演算形式演绎系统的等价性,从而进一步明确了基础命题演算形式演绎系统[BL?]系统,MTL系统,BL系统,IMTL系统之间的联系,为各种模糊命题演算形式演绎系统的研究提供了一个有益的参考。