|
|||||
|
|
| 修正的Gdel系统的子代数中F(S)的分划及升级算法 | |
| 作者姓名： | 魏海新 李晨晖 |
| 作者单位： | 桂林航天工业学院信息工程系;桂林航天工业学院电子工程系 |
| 基金项目： | 广西壮族自治区教育厅科研基金(桂教科研[2010]10号) |
| 摘 要： | 将修正的Gdel逻辑系统中广义矛盾式理论推广,讨论了修正的Gdel逻辑系统中一类子代数上的广义矛盾式理论,进而在相应的子代数上给出了公式集F(S)的一种分划。 |
| 关 键 词： | 修正的Gdel系统 广义矛盾式 子代数 分划 |
| 本文献已被 CNKI 维普 等数据库收录！ | |