|
|||||
|
|
| 修正的Gdel逻辑系统中子代数的广义重言式理论 | |
| 引用本文： | LI Shun-qin,WANG Guo-jun.College of Mathematics and Computer Science,Yan’an University,Yan’an,Shaanxi ,China .Institute of Mathematics,Shaanxi Normal University,Xi’an ,China.修正的Gdel逻辑系统中子代数的广义重言式理论[J].计算机工程与应用,2008(36). |
| 作者姓名： | LI Shun-qin WANG Guo-jun.College of Mathematics and Computer Science Yan’an University Yan’an Shaanxi China .Institute of Mathematics Shaanxi Normal University Xi’an China |
| 作者单位： | 延安大学数学与计算机科学学院，陕西师范大学数学研究所 |
| 摘 要： | 将修正的Gdel逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在G的序稠密子代数中给出F(S)关于┐同余的一个分划. |
| 关 键 词： | 修正的Gdel逻辑系统 广义重言式 α-矛盾式 分划 |
| 本文献已被 CNKI 等数据库收录！ | |