￡~*-Lindenbaum代数中的滤子

 Filter in ￡~*-Lindenbaum Algebra

利用F(S)中运算的定义给出了F(S)关于逻辑等价(可证等价)～所得的商代数F(S)∕～中的运算,在F(S)∕～中定义了滤子,讨论了滤子的性质,得到了F(S)∕～中的滤子都有形如<D(Γ)>的形式.

Operator О is defined in F（S）/-by using the definition of operation О in F（S）. The О filter is defined and the properties of О filter are discussed, О filter in F（S） /-has the form as 〈D（F）〉 is the best important conclusion in this paper.