计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (22): 32-33.DOI: 10.3778/j.issn.1002-8331.2009.22.011

• 研究、探讨 • 上一篇    下一篇

修正的Kleene系统中子代数的广义重言式理论

魏海新   

  1. 桂林航天工业高等专科学校 计算机系,广西 桂林 541004
  • 收稿日期:2009-02-16 修回日期:2009-04-03 出版日期:2009-08-01 发布日期:2009-08-01
  • 通讯作者: 魏海新

Theory of generalized tautology in sub-algebras of revised Kleene system

WEI Hai-xin   

  1. Guilin College of Aerospace Technology,Guilin,Guangxi 541004,China
  • Received:2009-02-16 Revised:2009-04-03 Online:2009-08-01 Published:2009-08-01
  • Contact: WEI Hai-xin

摘要: 将修正的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