NBL*形式系统

• 作者: 吴洪博 王伟华
• 来源期刊: 纺织高校基础科学学报
• 关键词: 非交换BR0代数 NBL*形式系统 命题演算系统
• 年，卷（期）: 2008,（3）
• 所属期刊栏目: 数学
• 页码范围: 262-269
• 页数: 8页
• 分类号: O141.1
• 语种: 中文
• DOI: 10.3969/j.issn.1006-8341.2008.03.002

摘要

将非交换BR0代数形式化,从而简化它的定义,使其更具有逻辑代数的特征.利用逻辑代数与其命题演算系统之间存在的完备性思想,通过对非交换BR0代数定义的进一步研究,得出与它相对应的形式系统NBL*的公理,进而得到其上的[F]完备性和广义演绎定理成立,即NBL*形式系统与非交换 BR0代数之间具有一定的和谐性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	陕西师范大学数学与信息科学学院	194	656	12.0	16.0
2	王伟华	陕西师范大学数学与信息科学学院	4	10	2.0	3.0