Luk-Lindenbaum代数中的*滤子

The * Filter in Luk-Lindenbaum Algebra

从＊运算出发定义了＊滤子，利用格论的相关知识，对公式子集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.