| Gödel系统中一类子代数上的广义重言式理论 |
| |
| 引用本文： | 魏海新.Gödel系统中一类子代数上的广义重言式理论[J].计算机工程与应用,2010,46(29):56-57. |
| |
| 作者姓名： | 魏海新 |
| |
| 作者单位： | 桂林航天工业高等专科学校 计算机系，广西 桂林 541004 |
| |
| 摘 要： | 将Gödel逻辑系统中的广义重言式理论进行推广，讨论了一类无限子代数上的广义重言式理论，并利用可达广义重言式的概念在G的标准子代数E0中给出F(S)关于G同余的一个分划。
|
| 关 键 词： | Gö del逻辑系统 广义重言式 子代数 分划 |
| 收稿时间： | 2009-5-5 |
| 修稿时间： | 2009-6-20
|
Theory of generalized tautology in class of subalgebras of Gödel system |
| |
| WEI Hai-xin.Theory of generalized tautology in class of subalgebras of Gödel system[J].Computer Engineering and Applications,2010,46(29):56-57. |
| |
| Authors: | WEI Hai-xin |
| |
| Affiliation: | Guilin College of Aerospace Technology，Guilin，Guangxi 541004，China |
| |
| Abstract: | The theory of generalized tautology in Gödel logical system is extended and theory of generalized tautology in a class of infinite subalgebras of the Gödel logical system is considered.Congruence partitions about G on F(S)have been given in standard subalgebras E0 of logical system G by utilizing the concepts of accessible generalized tautology. |
| |
| Keywords: | Gö del logical system generalized tautology subalgebras partition |
|
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
