| G(o)del逻辑系统中标准子代数上的广义矛盾式 |
| |
| 引用本文： | 李修清,魏海新.G(o)del逻辑系统中标准子代数上的广义矛盾式[J].桂林航天工业高等专科学校学报,2010,15(3). |
| |
| 作者姓名： | 李修清 魏海新 |
| |
| 作者单位： | 1. 桂林航天工业高等专科学校,图书馆,广西,桂林,541004
2. 桂林航天工业高等专科学校,计算机系,广西,桂林,541004 |
| |
| 基金项目： | 广西区教育厅科研基金 |
| |
| 摘 要： | 文章讨论了Godel逻辑系统中标准子代数E0上的广义矛盾式理论,给出标准子代数上可达0-重言式的一个分划,证明了在标准子代数E0中,重言式不可能由对非重言式进行有限次升级算法得到,利用广义重言式和α-矛盾式概念在E0中给出了F(S)的一个关于()同余的分划.
|
| 关 键 词： | Godel逻辑系统 广义矛盾式 子代数 分划 |
The Generalized Contradictory Theory in Standard Subalgebras of G(o)del Logical System |
| |
| LI Xiu-qing,WEI Hai-xin.The Generalized Contradictory Theory in Standard Subalgebras of G(o)del Logical System[J].Journal of Guilin College of Areospace Technology,2010,15(3). |
| |
| Authors: | LI Xiu-qing WEI Hai-xin |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
