修正的G(o)del系统的子代数中F(S)的分划及升级算法

• 作者: 李晨晖 魏海新
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 修正的G(o)del系统 广义矛盾式 子代数 分划
• 年，卷（期）: 2012,（26）
• 所属期刊栏目: 研究、探讨
• 页码范围: 44-47
• 分类号: O141.1
• 字数: 5749字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2012.26.010

摘要

将修正的G(o)del逻辑系统中广义矛盾式理论推广,讨论了修正的G(o)del逻辑系统中一类子代数上的广义矛盾式理论,进而在相应的子代数上给出了公式集F(S)的一种分划.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	魏海新	桂林航天工业学院信息工程系	38	72	5.0	7.0
2	李晨晖	桂林航天工业学院电子工程系	31	65	4.0	7.0