| 修正的G(o)del系统的子代数中F(S)的分划及升级算法 |
| |
| 引用本文： | 魏海新,李晨晖.修正的G(o)del系统的子代数中F(S)的分划及升级算法[J].计算机工程与应用,2012,48(26). |
| |
| 作者姓名： | 魏海新 李晨晖 |
| |
| 作者单位： | 1. 桂林航天工业学院 信息工程系,广西桂林,541004
2. 桂林航天工业学院 电子工程系,广西桂林,541004 |
| |
| 基金项目： | 广西壮族自治区教育厅科研基金 |
| |
| 摘 要： | 将修正的G(o)del逻辑系统中广义矛盾式理论推广,讨论了修正的G(o)del逻辑系统中一类子代数上的广义矛盾式理论,进而在相应的子代数上给出了公式集F(S)的一种分划.
|
| 关 键 词： | 修正的G(o)del系统 广义矛盾式 子代数 分划 |
Partitions of F(S) and properties of its upgrade algorithm in subalgebras of revised G(o)del system |
| |
| WEI Haixin
,
LI Chenhui.Partitions of F(S) and properties of its upgrade algorithm in subalgebras of revised G(o)del system[J].Computer Engineering and Applications,2012,48(26). |
| |
| Authors: | WEI Haixin LI Chenhui |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
