的正则子R_0代数及其应用  

Regular R_0-subalgebra of  and its application

作　　者：王龙春[1] 王国俊[1] 

机构地区：[1]陕西师范大学数学与信息科学学院,陕西西安710062

出　　处：《陕西师范大学学报（自然科学版）》2004年第2期5-9,共5页Journal of Shaanxi Normal University：Natural Science Edition

基　　金：国家自然科学基金资助项目(10331010)

摘　　要：引入了 W的正则子R0代数的概念,证明了这种代数在 W中关于势是均匀分布的.又证明了当判定一个逻辑公式是否为 W中的α 重言式时,可以用 W的任一正则R0 代数去替代 W作判断,特别是可以用具有简单结构的正则子R0 代数W0去作判断,这里W0仅有一个聚点0.5,并且在一定意义下是"收缩不变"的.The concept of regular R_0-subalgebra of is introduced and it is uniformly distributed on . Again, if a logical formula is an α-tautology in by use any regular R_0-subalgebra of to replace for decision. Especially, the regular R_0-subalgebra W_0 with a simple construction can be used, where W_0 has only one cluster point 0.5 and possesses the property of 'retraction invariant'.

关 键 词：正则子R0-代数 正则R0-代数 a-重言式 广义重言式 同构映射 

分 类 号：O141.1[理学—数学] O153.1[理学—基础数学]