System of fuzzy relation equations with inf-\(\rightarrow \) composition: Complete set of solutions (Q835213)

There is multitude of papers dealing with fuzzy relation equations (cf., e.g., the references in \textit{R. Belohlávek}'s book [Fuzzy relational systems. Foundations and principles. New York, NY: Kluwer Academic Publishers (2002; Zbl 1067.03059)]. However, the authors have found there only a few results concerning inf-\(\to\) systems of equations (mainly without proof). This was the reason for a detailed examination of such systems. The paper deals with quasi-linear systems of equations over BL-algebra [cf. \textit{P. Hájek}, Metamathematics of fuzzy logic. Dordrecht: Kluwer Academic Publishers (1998; Zbl 0937.03030)] using the inf-implication composition. Final results are presented after a detailed consideration of the case of a single equation and contain: a) characterization of solvability; b) description of solutions of a single equation; c) description of solutions of a system of equations; d) characterization of maximal solutions; e) an algorithm for the determination of maximal solutions. Some results need additional assumptions: linearity of order in the domain lattice and conditional cancellation law for conjunction, what is fulfilled for standard realizations of BL-algebras in \([0,1]\) as product algebra and Łukasiewicz algebra, cf. [\textit{S. Gottwald}, A treatise on many-valued logics. Baldock: Research Studies Press (2001; Zbl 1048.03002)].