G(o)del逻辑系统中1/2-子代数上的广义重言式理论

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

摘要

将Godel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统否中具有1/2聚点的三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在的三类子代数中给出F(S)关于,同余的一个分划.

作者信息

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