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

来源 :陕西师范大学学报：自然科学版 | 被引量 : 0次 | 上传用户：xdool

【摘要】

：

引入了(W-)的正则子R0代数的概念,证明了这种代数在W中关于势是均匀分布的.又证明了当判定一个逻辑公式是否为W中的α-重言式时,可以用(W-)的任一正则R0-代数去替代W作判断,

【作者】

：

王龙春王国俊

【机构】

：

陕西师范大学数学与信息科学学院

【出处】

：

陕西师范大学学报：自然科学版

【发表日期】

：

2004年2期

【关键词】

：

正则子R0-代数正则R0-代数 a-重言式广义重言式同构映射 revised Kleene logic system regular R_0-algeb

【基金项目】

：

国家自然科学基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

自由Dcpo和自由并完备格的结构和性质

给出了由偏序集生成的自由Dcpo及自由并完备格和由并半格生成的强自由Dcpo及强自由完备格的结构,分别讨论了它们的性质,证明了偏序集与并半格分别可以序嵌入到自由Dcpo、自由

期刊

完备格自由Dct30自由并完备格代数偏序集强代数偏序集complete lattice free Dcpo free join-complete

浅析新时期党的科学理论建设

纵观党的科学理论建设的历程，高山仰止，景行行止。在成就中总结经验，从经验中取得成就。要把党的科学理论建设贯穿于党的建设新的伟大工程的各个方面，要坚持用邓小平理论、“三个

期刊

科学理论建设执政能力建设

研究生培养引进竞争机制的探索

该文依据多年研究生管理与服务的实践，分析研究生培养过程各个阶段中存在的各种问题，按照市场机制的思维方式——引入竞争机制探讨其解决办法。

期刊

竞争机制研究生培养实践探索

谈遵义会议所解决的政治路线问题

1935年1月，我们党在遵义召开了中央政治局扩大会议，即党和红军处于最危急关头召开的具有重大转折意义的遵义会议。党史、革命史著述都认为这次会议纠正了“左”倾错误路线，确立

期刊

遵义会议政治路线“左”倾错误中央政治局领导地位组织路线军事路线革命史

两种酶水解明胶的条件筛选及评价

对中性蛋白酶和胰蛋白酶样品进行了以明胶为底物的酶解反应试验,并对两种酶的水解能力进行了比较,确定了两种酶的反应温度、pH值、底物浓度、加酶量以及酶解时间等条件.

期刊

中性蛋白酶胰蛋白酶明胶水解条件neutral proteasetrysin gelatin hydrolyzing conditions

加强教师课堂管理提高大学英语教学效果

随着全球化的快速进展，英语日益担当起世界通用语言的大任。大学英语教学也由此备受关注。在诸多影响大学英语教学效果的因素中，教师对课堂的有效管理占据着一个重要的位置。本

期刊

课堂管理大学英语教学效果

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

其他学术论文