Decomposition and Resolution of Fuzzy Relation Equations (II) Based on Boolean-Type Implications

The problem of solving fuzzy relation equations (II) based on Boolean-type implications is studied in the present paper. Decomposition of fuzzy relation equations (II) based on Boolean-type implications is first presented in a finite case. Then, the solution existence of fuzzy relation equations (II) based on Boolean-type implications is discussed, and for nice Boolean-type implications, some new solvability criteria based upon the notion of ”solution matrices” are given. It is also shown that for each solution a of a fuzzy relation equation (II) based on Boolean-type implication, there exists a minimal solution a* of this equation, such that a* is less than or equal to a, whenever the solution set of this equation is nonempty. The complete solution set of fuzzy relation equation (II) based on Boolean-type implication can be determined by all minimal solutions of this equation. Finally, an effective method to solve fuzzy relation equations (II) based on Boolean-type implications is proposed.