摘要
从*运算出发定义了*滤子,利用格论的相关知识,对公式子集D(Г)进行研究。主要结果是:(1)Luk-Lin-denbaum代数F(S)/~中的*滤子都是(D(Г))形式的;(2)*滤子与MP滤子一致,都是通常意义下的滤子;(3)F(S)/~中的极大*滤子与通常意义下的极大滤子是一致的。
The concept of the * filter is introduced according to the binary operator * in Luk-Lindenbaum algebra. With the corresponding knowledge of lattices, the properties of D(Г) were studied. The main results of this paper are: (1) the * filter is the same style as 〈D(Г)) ; (2) the * filter coincides with the MP filter, both of them are common filters; (3) the maximal * filter in F(S)/- is equal to the maximal filter in common sense.
出处
《山东大学学报(理学版)》
CAS
CSCD
北大核心
2008年第1期73-76,80,共5页
Journal of Shandong University(Natural Science)
基金
国家自然科学基金资助项目(10471083)
陕西师范大学重点科研基金资助项目(995130)