| 修正的Gdel系统的子代数中F(S)的分划及升级算法 |
| |
| 引用本文： | 魏海新,李晨晖.修正的Gdel系统的子代数中F(S)的分划及升级算法[J].计算机工程与应用,2012(26):44-47. |
| |
| 作者姓名： | 魏海新 李晨晖 |
| |
| 作者单位： | 桂林航天工业学院信息工程系;桂林航天工业学院电子工程系 |
| |
| 基金项目： | 广西壮族自治区教育厅科研基金(桂教科研[2010]10号) |
| |
| 摘 要： | 将修正的Gdel逻辑系统中广义矛盾式理论推广,讨论了修正的Gdel逻辑系统中一类子代数上的广义矛盾式理论,进而在相应的子代数上给出了公式集F(S)的一种分划。
|
| 关 键 词： | 修正的Gdel系统 广义矛盾式 子代数 分划 |
Partitions of F(S) and properties of its upgrade algorithm in subalgebras of revised Gdel system |
| |
| WEI Haixin,LI Chenhui.Partitions of F(S) and properties of its upgrade algorithm in subalgebras of revised Gdel system[J].Computer Engineering and Applications,2012(26):44-47. |
| |
| Authors: | WEI Haixin LI Chenhui |
| |
| Affiliation: | 1.Department of Information Engineering,Guilin University of Aerospace Technology,Guilin,Guangxi 541004,China 2.Department of Electronic Engineering,Guilin University of Aerospace Technology,Guilin,Guangxi 541004,China |
| |
| Abstract: | The theory of generalized contradictory in revised Gdel system is extended in this paper.The theory of generalized contradictory of a class subalgebra of Gdel logical system is considered.Moreover,partitions on F(S) are given in corresponding subalgebras. |
| |
| Keywords: | revised Gdel system generalized contradictory subalgebra partition |
| 本文献已被 CNKI 维普 等数据库收录！ |
