| 修正的G(o)del逻辑系统中子代数的广义重言式理论 |
| |
| 引用本文： | 李顺琴,王国俊.修正的G(o)del逻辑系统中子代数的广义重言式理论[J].计算机工程与应用,2008,44(36). |
| |
| 作者姓名： | 李顺琴 王国俊 |
| |
| 基金项目： | 国家自然科学基金
，
延安大学校科研和教改项目
|
| |
| 摘 要： | 将修正的G(o)6del逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在G-的序稠密子代数中给出F(S)关于┓同余的一个分划.
|
| 关 键 词： | 修正的G(o)del逻辑系统 广义重言式 α-矛盾式 分划 |
Theory of generalized tautology in subalgebras of revised G(o)del logical system |
| |
| LI Shun-qin,WANG Guo-jun.Theory of generalized tautology in subalgebras of revised G(o)del logical system[J].Computer Engineering and Applications,2008,44(36). |
| |
| Authors: | LI Shun-qin WANG Guo-jun |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
