Computer Engineering and Applications ›› 2009, Vol. 45 ›› Issue (22): 32-33.DOI: 10.3778/j.issn.1002-8331.2009.22.011
• 研究、探讨 • Previous Articles Next Articles
WEI Hai-xin
Received:
Revised:
Online:
Published:
Contact:
魏海新
通讯作者:
Abstract: The theory of generalized tautology in revised Kleene 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 concepts of accessible generalized tautology.
Key words: revised Kleene system, generalized tautology, partition
摘要： 将修正的Kleene系统中的广义重言式理论进行推广，讨论了其序稠密子代数的广义重言式理论，并利用可达广义重言式的概念在W的序稠密子代数中给出F（S）关于┐同余的一个分划。
关键词: 修正的Kleene系统, 广义重言式, 分划
WEI Hai-xin. Theory of generalized tautology in sub-algebras of revised Kleene system[J]. Computer Engineering and Applications, 2009, 45(22): 32-33.
魏海新. 修正的Kleene系统中子代数的广义重言式理论[J]. 计算机工程与应用, 2009, 45(22): 32-33.
0 / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://cea.ceaj.org/EN/10.3778/j.issn.1002-8331.2009.22.011
http://cea.ceaj.org/EN/Y2009/V45/I22/32
