(W-)的正则子R0-代数及其应用

• 作者: 王国俊 王龙春
• 来源期刊: 陕西师范大学学报(自然科学版)
• 学科: 数学
• 关键词: 修正的Kleene系统 正则R0-代数 α-重言式 广义重言式
• 年，卷（期）: 2004,（2）
• 所属期刊栏目: 专题研究
• 页码范围: 5-9
• 页数: 5页
• 分类号: O153.1|O141.1
• 字数: 4587字
• 语种: 中文
• DOI: 10.3321/j.issn:1672-4291.2004.02.002

摘要

引入了(W-)的正则子R0代数的概念,证明了这种代数在W中关于势是均匀分布的.又证明了当判定一个逻辑公式是否为W中的α-重言式时,可以用(W-)的任一正则R0-代数去替代W作判断,特别是可以用具有简单结构的正则子R0-代数W0去作判断,这里W0仅有一个聚点0.5,并且在一定意义下是"收缩不变"的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王国俊	陕西师范大学数学与信息科学学院	176	2910	25.0	49.0
2	王龙春	陕西师范大学数学与信息科学学院	2	18	1.0	2.0