摘要
BL*命题演算形式演绎系统和IMTL命题演算形式演绎系统是从不同的角度出发建立的两种基础模糊命题演算的形式演绎系统。对两者进行了较细致的比较研究,从语构方面证明了两种命题演算形式演绎系统的等价性,从而进一步明确了基础命题演算形式演绎系统BL*系统,MTL系统,BL系统,IMTL系统之间的联系,为各种模糊命题演算形式演绎系统的研究提供了一个有益的参考。
The formal deductive system BL＊of propositional calculus and the formal deductive system IMTL of propositional calculus are the basic formal deductive systems of propositional calculus that are proposed from different perspectives. Through careful comparative study to both of them in this paper, the equivalence of them is proved from aspects of syntactic, so the relationships are more clear and definite among basic fuzzy propositional calculus systems including BL＊system, MTL system, BL system, IMTL system. The work of this paper is a useful reference for the study of fuzzy propositional calculus systems.
出处
《计算机工程与应用》
CSCD
北大核心
2016年第5期41-46,共6页
Computer Engineering and Applications
基金
国家自然科学基金(No.11171196)
