| Godel系统中一类子代数上的广义重言式理论 |
| |
| 引用本文： | 魏海新.Godel系统中一类子代数上的广义重言式理论[J].计算机工程与应用,2010,46(29):56-57,62. |
| |
| 作者姓名： | 魏海新 |
| |
| 作者单位： | 桂林航天工业高等专科学校计算机系,广西桂林541004 |
| |
| 基金项目： | 广西壮族自治区教育厅科研基金 |
| |
| 摘 要： | 将Godel辑系统中的广义重言式理论进行推广，讨论了一类无限子代数上的广义重言式理论，并利用可达广义重言式的概念在G的标准子代数E0中给出F（S）关于┑同余的一个分划。
|
| 关 键 词： | Godel逻辑系统 广义重言式 子代数 分划 |
Theory of generalized tautology in class of subalgebras of G(o)del system |
| |
| WEI Hai-xin.Theory of generalized tautology in class of subalgebras of G(o)del system[J].Computer Engineering and Applications,2010,46(29):56-57,62. |
| |
| Authors: | WEI Hai-xin |
| |
| Affiliation: | WEI Hai-xin(Guilin College of Aerospace Technology, Guilin, Guangxi 541004, China) |
| |
| Abstract: | The theory of generalized tautology in Gsdel logical system is extended and theory of generalized tautology in a class of infinite subalgebras of the Gtidel logical system is considered.Congruence partitions about ┑ on F（S）have been given in standard subalgebras E0 of logical system G by utilizing the concepts of accessible generalized tautology. |
| |
| Keywords: | Godel logical system generalized tautology subalgebras partition |
| 本文献已被 维普 万方数据 等数据库收录！ |
