|
|||||
|
|
| Gdel逻辑系统中1/2-子代数上的广义重言式理论 | |
| 作者姓名： | 李修清 |
| 作者单位： | 桂林航天工业高等专科学校计算机系 |
| 基金项目： | 广西壮族自治区教育厅科研基金(桂教科研[2006]26号) |
| 摘 要： | 将Gdel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统-G中具有1/2聚点的三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在-G的三类子代数中给出F(S)关于同余的一个分划。 |
| 关 键 词： | Gdel逻辑系统 广义重言式 子代数 分划 |
| 本文献已被 CNKI 维普 等数据库收录！ | |