Abstract:
The article presents the results of a study concerning various definitions of the resolvent in fuzzy logic. Conditions are defined under which the Lee resolvent is a significant logical consequence in the case of the classical definition of fuzzy logical connectives. It is shown that when using triangular norms and conorms for their formalization, it is impossible to obtain a logically significant Lee resolvent. However, if the triangular conorm is defined as max, then the Lee resolvent exists for any triangular norm. Conditions are defined under which the Mukaidano resolvent is a significant logical consequence for classical min and max operations. When using triangular norms and conorms other than classical ones, further research is required. An illustrative example is provided demonstrating the process of constructing the Mukaidano resolvent.
Keywords:resolvent, resolution method, triangular norms and conorms.