BL*系统和IMTL系统等价性的语构证明

摘要：

BL*命题演算形式演绎系统和IMTL命题演算形式演绎系统是从不同的角度出发建立的两种基础模糊命题演算的形式演绎系统.对两者进行了较细致的比较研究,从语构方面证明了两种命题演算形式演绎系统的等价性,从而进一步明确了基础命题演算形式演绎系统BL*系统,MTL系统,BL系统,IMTL系统之间的联系,为各种模糊命题演算形式演绎系统的研究提供了一个有益的参考.

关键词：模糊逻辑、语构理论、IMTL命题系统、BL*命题系统、等价性

所属期刊栏目：52

分类号：O141.1(数理逻辑、数学基础)

资助基金：国家自然科学基金11171196

在线出版日期：2016-06-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：41-46