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

• 作者: 吴洪博 崔艳丽 梁颖
• 来源期刊: 吉林大学学报（理学版）
• 学科: 数学
• 关键词: 模糊逻辑 命题逻辑系统BL 演绎系统 强同余关系
• 年，卷（期）: 2018,（2）
• 所属期刊栏目: 数学
• 页码范围: 237-241
• 页数: 5页
• 分类号: O141
• 字数: 4553字
• 语种: 中文
• DOI: 10.13413/j.cnki.jdxblxb.2018.02.09

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	陕西师范大学数学与信息科学学院	194	656	12.0	16.0
2	崔艳丽	陕西师范大学数学与信息科学学院	9	20	2.0	4.0
4	梁颖	陕西师范大学数学与信息科学学院	21	45	3.0	6.0