【摘要】 从*运算出发定义了*滤子,利用格论的相关知识,对公式子集D(Γ)进行研究。主要结果是:(1)Luk-Lindenbaum代数F(S)/~中的*滤子都是〈D(Γ)〉形式的;(2)*滤子与MP滤子一致,都是通常意义下的滤子;(3)F(S)/~中的极大*滤子与通常意义下的极大滤子是一致的。更多还原

【Abstract】 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.更多还原