| RG-代数的子代数与广义重言式理论 |
| |
| 引用本文： | 李修清,魏海新.RG-代数的子代数与广义重言式理论[J].计算机工程与应用,2011,47(29):49-51. |
| |
| 作者姓名： | 李修清 魏海新 |
| |
| 作者单位： | 桂林航天工业高等专科学校计算机系,广西桂林,541004 |
| |
| 基金项目： | 广西壮族自治区教育厅科研项目(桂教科研[2011]14号) |
| |
| 摘 要： | 对Godel逻辑系统中的广义重言式理论进行推广，讨论了RG-代数的各类无限子代数上的广义重言式，证明了在子RG-代数中，Godel逻辑系统中存在着可数多个不同的广义重言式。
|
| 关 键 词： | Godel逻辑系统 广义重言式 子RG-代数 分划 |
| 修稿时间： | |
Subalgebras of RG-algebra and theory of generalized tautology |
| |
| LI Xiuqing,WEI Haixin.Subalgebras of RG-algebra and theory of generalized tautology[J].Computer Engineering and Applications,2011,47(29):49-51. |
| |
| Authors: | LI Xiuqing WEI Haixin |
| |
| Affiliation: | LI Xiuqing,WEI Haixin Guilin College of Aerospace Technology,Guilin,Guangxi 541004,China |
| |
| Abstract: | The theory of generalized tautology in Goedel logical system is extended.The theory of generalized tautology for all kinds of infinite subalgebras of RG-algebra is considered.It is proved that,in RG -subalgebras,the Goedel logical system has countable different generalized tautology. |
| |
| Keywords: | Godel logical system generalized tautology RG-subalgebra partition |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
