The Properties of a Mix Operator on R_0-algebra and the Completeness of the System L~*

Tong Wei
2002-01-01
Abstract:The formal deductive system L * for fuzzy propositional calculus and R 0 algebra which is relavant to former in semantics are studied. The properties of a mix operator :ab=(a→b) on R 0 algebra is investigated. Taking this operator as tool and employing the method that petr Hajek use to prove the completeness of Luka siewicz fuzzy propositional calculus system about Ω L, the completeness of the system L * about Ω  are proved.
What problem does this paper attempt to address?