On solvability of systems of partial fuzzy relational equations

Systems of fuzzy relational equations belong to key mathematical problems related to the correct behavior of fuzzy systems, especially of fuzzy inference systems. Indeed, if we find a fuzzy relation that solves a given system of fuzzy relational equations, we found a model of a fuzzy rule base related to the given system that will behave correctly in the sense that it will preserve the fundamental modus ponens property. This problem with numerous results becomes absolutely unexplored as soon as we allow partiality in the system. Partial fuzzy sets have only partially defined membership degrees, i.e., for some elements, the membership degree is undefined, i.e., partial propositions have only partially defined truth-values. There are many origins from which we may obtain propositions with undefined truth-values, e.g., non-denoting or irrelevant terms, inconsistent (both true and false) propositions, or truth-values are simply unknown. Partial logics belong to classical topics in logic so, the extensions to partial fuzzy logic in recent years were not surprising. However, we should not dare to deal with partial fuzzy sets in fuzzy systems without any guarantee of the preservation of fundamental properties such as modus ponens. This article is focusing on filling this gap.