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

发布时间：2021-03-04 08:00

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

【文章来源】：吉林大学学报(理学版). 2018,56(02)北大核心

【文章页数】：5 页

【参考文献】：
期刊论文
[1]有界Heyting代数的模糊LI-理想[J]. 刘春辉.  工程数学学报. 2016(04)
[2]DFI代数的距离函数及其性质[J]. 刘慧敏,吴洪博.  吉林大学学报(理学版). 2016(02)
[3]Lukasiewicz命题逻辑中公式的Γ-真度理论和极限定理[J]. 吴洪博.  中国科学:信息科学. 2014(12)
[4]BL代数的一种弱化形式[J]. 周建仁,吴洪博.  吉林大学学报(理学版). 2014(02)
[5]RO-蕴涵算子所导出的逻辑函数的特征[J]. 周建仁,吴洪博.  数学学报. 2014(02)
[6]基于正则FI代数的MT理想及其应用[J]. 吴洪博,汪宁.  电子学报. 2013(07)
[7]SWBR0-代数的蕴涵理想及其诱导的商代数[J]. 汪宁,吴洪博.  吉林大学学报(理学版). 2013(01)
[8]Heyting系统及其H-Locale化形式[J]. 吴洪博,石慧君.  数学学报. 2012(06)
[9]基于剩余格的一类度量空间及性质[J]. 周建仁,谢晶晶,吴洪博.  吉林大学学报(理学版). 2012(05)
[10]三值命题逻辑系统L3*中逻辑理论性态的拓扑刻画[J]. 折延宏,王国俊.  数学学报. 2009(06)



本文编号：3062855