Abstract:

By means of the nonorder characteristic of WBR₀-algebra, SWBR₀-algebras was set up by reduction of regularness of WBR₀-algebra. The concept of the implication ideal of SWBR₀-algebra was proposed, and the relationship between the implication ideal and the congruence relation was discussed. Moreover, a quotient algebra of SWBR₀-algebra was defined with the help of implication ideal, and the fundamental theorems of homomorphisms of SWBR₀-algebra were obtained.

Key words: fuzzy logic, WBR₀-algebra, SWBR₀-algebra, implication ideal, quotient algebra, homomorphism