计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (22): 32-33.DOI: 10.3778/j.issn.1002-8331.2009.22.011
• 研究、探讨 • 上一篇 下一篇
魏海新
收稿日期:
修回日期:
出版日期:
发布日期:
通讯作者:
WEI Hai-xin
Received:
Revised:
Online:
Published:
Contact:
摘要： 将修正的Kleene系统中的广义重言式理论进行推广，讨论了其序稠密子代数的广义重言式理论，并利用可达广义重言式的概念在W的序稠密子代数中给出F（S）关于┐同余的一个分划。
关键词: 修正的Kleene系统, 广义重言式, 分划
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系统中子代数的广义重言式理论[J]. 计算机工程与应用, 2009, 45(22): 32-33.
WEI Hai-xin. Theory of generalized tautology in sub-algebras of revised Kleene system[J]. Computer Engineering and Applications, 2009, 45(22): 32-33.
0 / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://cea.ceaj.org/CN/10.3778/j.issn.1002-8331.2009.22.011
http://cea.ceaj.org/CN/Y2009/V45/I22/32
