摘要
引入了 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'.
出处
《陕西师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2004年第2期5-9,共5页
Journal of Shaanxi Normal University：Natural Science Edition
基金
国家自然科学基金资助项目(10331010)
