| 修正的Kleene系统中子代数的广义重言式理论 |
| |
| 引用本文： | 魏海新.修正的Kleene系统中子代数的广义重言式理论[J].计算机工程与应用,2009,45(22):32-33. |
| |
| 作者姓名： | 魏海新 |
| |
| 作者单位： | 桂林航天工业高等专科学校计算机系,广西桂林,541004 |
| |
| 基金项目： | 广西区教育厅科研基金 |
| |
| 摘 要： | 将修正的Kleene系统中的广义重言式理论进行推广，讨论了其序稠密子代数的广义重言式理论，并利用可达广义重言式的概念在矿的序稠密子代数中给出F（S）关于同余的一个分划。
|
| 关 键 词： | 修正的Kleene系统 广义重言式 分划 |
| 收稿时间： | 2009-2-16 |
| 修稿时间： | 2009-4-3
|
Theory of generalized tautology in sub-algebras of revised Kleene system |
| |
| WEI Hai-xin.Theory of generalized tautology in sub-algebras of revised Kleene system[J].Computer Engineering and Applications,2009,45(22):32-33. |
| |
| Authors: | WEI Hai-xin |
| |
| Affiliation: | WEI Hai-xin Guilin College of Aerospace Technology,Guilin,Guangxi 541004,China |
| |
| Abstract: | The theory of generalized tautology in revised K] eene system is extended and theory of generalized tautology in order dense sub-algebras of the revised Kleene system is considered in this paper.Congruence partitions about on F (S) have been given in order dense sub-algebras of system W by utilizing the concept8 of accessible generalized tautology. |
| |
| Keywords: | revised Kleene system generalized tautology partition
|
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
