RG-代数的子代数与广义重言式理论

• 作者: 李修清 魏海新
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: G(o)del逻辑系统 广义重言式 子RG-代数 分划
• 年，卷（期）: 2011,（29）
• 所属期刊栏目: 研究、探讨
• 页码范围: 49-51,59
• 分类号: O141.1
• 字数: 6821字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2011.29.014

摘要

对G(o)del逻辑系统中的广义重言式理论进行推广,讨论了RG-代数的各类无限子代数上的广义重言式,证明了在子RG-代数中,G(o)del逻辑系统中存在着可数多个不同的广义重言式.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	魏海新	桂林航天工业高等专科学校计算机系	38	72	5.0	7.0
2	李修清	桂林航天工业高等专科学校计算机系	53	141	5.0	10.0