| 修正的G(o)del逻辑系统中子代数的广义重言式理论 |
| |
| 引用本文： | 李顺琴,王国俊. 修正的G(o)del逻辑系统中子代数的广义重言式理论[J]. 计算机工程与应用, 2008, 44(36). DOI: 10.3778/j.issn.1002-8331.2008.36.016 |
| |
| 作者姓名： | 李顺琴 王国俊 |
| |
| 作者单位： | 延安大学,数学与计算机科学学院,陕西,延安,716000;陕西师范大学,数学研究所,西安,710062 |
| |
| 基金项目： | 国家自然科学基金 ， 延安大学校科研和教改项目 |
| |
| 摘 要： | ![]()
将修正的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). DOI: 10.3778/j.issn.1002-8331.2008.36.016 |
| |
| Authors: | LI Shun-qin WANG Guo-jun |
| |
| Abstract: | ![]()
|
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
