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

吉林大学学报(理学版)

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

崔艳丽^1,2, 梁颖¹, 吴洪博¹

1. 陕西师范大学数学与信息科学学院, 西安 710119; 2. 汉中职业技术学院，陕西汉中 723002

收稿日期:2017-02-08 出版日期:2018-03-26 发布日期:2018-03-27
通讯作者: 吴洪博 E-mail:wuhb@snnu.edu.cn

Strong Congruence Relations and Deductive Systems in BL Propositional Logic System

CUI Yanli^1,2, LIANG Ying¹, WU Hongbo¹

1. School of Mathematics and Information Science, Shaanxi Normal University, Xi’an 710119, China;2. Hanzhong Vocational and Technical College, Hanzhong 723002, Shaanxi Province, China

Received:2017-02-08 Online:2018-03-26 Published:2018-03-27
Contact: WU Hongbo E-mail:wuhb@snnu.edu.cn

摘要/Abstract

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

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

Abstract: The concept of deductive system was proposed on formula set F(S) of BL propositional logic system, and the strong congruence relation was introduced. We discussed the connection between deductive systems and strong congruence relations in BL system, gave the method of interconversion between them, and obtained the reducibility of interconversion between them.

Key words: deductive system, strong congruence relation, fuzzy logic, propositional logic system BL

中图分类号:

O141

崔艳丽, 梁颖, 吴洪博. BL命题逻辑系统的强同余关系及演绎系统[J]. 吉林大学学报(理学版), 2018, 56(2): 237-241.

CUI Yanli, LIANG Ying, WU Hongbo. Strong Congruence Relations and Deductive Systems in BL Propositional Logic System[J]. Journal of Jilin University Science Edition, 2018, 56(2): 237-241.

[1]	龚加安, 吴洪博. NBR₀代数上的+运算和性质[J]. 吉林大学学报(理学版), 2016, 54(01): 1-7.
[2]	乔希民, 吴洪博. 区间集上非交换剩余格〈∈,∈∪Q〉-Fuzzy滤子的特征刻画[J]. 吉林大学学报(理学版), 2015, 53(06): 1127-1133.
[3]	王霞霞, 吴洪博. BL-代数的余零化算子及其BL同态像[J]. 吉林大学学报(理学版), 2014, 52(06): 1112-1118.
[4]	周建仁, 吴洪博. BL代数的一种弱化形式[J]. 吉林大学学报(理学版), 2014, 52(02): 231-236.
[5]	汪宁, 吴洪博. SWBR₀-代数的蕴涵理想及其诱导的商代数[J]. J4, 2013, 51(01): 21-26.
[6]	周建仁, 谢晶晶, 吴洪博. 基于剩余格的一类度量空间及性质[J]. J4, 2012, 50(05): 897-901.
[7]	高李红, 吴洪博. QBL-代数及其与BL-代数的等价性[J]. J4, 2011, 49(01): 41-46.
[8]	吴洪博. R₀-代数在一般集合上的,→表示形式[J]. J4, 2009, 47(4): 661-666.
[9]	王淞昕. 模糊择优逻辑的数值扩充[J]. J4, 2008, 46(01): 85-88.
[10]	刘云翔, 孙吉贵. 基于t-norm算子的模糊逻辑和模糊推理[J]. J4, 2003, 41(01): 64-69.