BL*系统的一种扩张及相关性质

• 作者: 吴洪博 张琼
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 模糊逻辑 命题演算 BR0代数 Boole代数 BL*系统 形式系统L
• 年，卷（期）: 2010,（19）
• 所属期刊栏目: 研究、探讨
• 页码范围: 36-38
• 分类号: O141.1
• 字数: 3553字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.19.010

摘要

对BR0代数,Boole代数以及BL*系统,命题演算形式系统L进行了研究.首先讨论了BR0代数与Boole代数间的相互关系,随后在BL*系统中分别添加公理模式(A→B)→-AˇB或0(A→(B→C))→(A^B→C)得到BL*系统的两种扩张,并证明了BL*系统的这两种扩张与命题演算形式系统L之间是等价的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	陕西师范大学数学与信息科学学院	194	656	12.0	16.0
2	张琼	陕西师范大学数学与信息科学学院	17	28	3.0	5.0