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

摘要：

将修正的Kleene系统中的广义重言式理论进行推广,讨论了其序稠密子代数的广义重言式理论,并利用可达广义重言式的概念在W的序稠密子代数中给出F(S)关于同余的一个分划.

关键词：修正的Kleene系统、广义重言式、分划

所属期刊栏目：45

分类号：O141.1(数理逻辑、数学基础)

资助基金：广西区教育厅科研基金桂教科研[2006] 26号

在线出版日期：2009-09-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：32-33,46