BL命题逻辑系统的强同余关系及演绎系统

摘要：

通过在BL命题逻辑系统的公式集F(S)中提出演绎系统的概念,并引入强同余关系,讨论BL系统中演绎系统和强同余关系之间的联系,给出二者之间相互转换的方法,并得到了二者之间相互转换的还原性.

关键词：模糊逻辑、命题逻辑系统BL、演绎系统、强同余关系

所属期刊栏目：56

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

资助基金：国家自然科学基金61572016,11531009,61673250

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

页数：共5页

页码：237-241