￡~*-Lindenbaum代数中的商理想

Three I algorithm in fuzzy logic system H_t

利用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 quotient ideal is defined and the properties of quotient ideal are discussed, quotient ideal in F（S） / - has the form as F 〈 -, D （Г） is the best important conclusion in this paper.