Fuzzy logics from substructural perspective (Q2270232)

Being motivated by different aims, and studied and developed separately, the close connections between fuzzy logics and substructural logics are not usually pointed out. Formally, fuzzy logics can be considered and introduced as a particular subclass of substructural logics. In this paper, the authors give a brief survey of some topics in the substructural logics \(\mathbf{FL}_{\mathbf{e}}\), \(\mathbf{FL}_{\mathbf{ew}}\) and their extensions, in relationship with fuzzy logics. The logics \(\mathbf{FL}_{\mathbf{e}}\) and \(\mathbf{FL}_{\mathbf{ew}}\) can be defined as a subsystem of the Gentzen sequent calculus \(\mathbf{LJ}\) for intuitionistic logic by omitting the contraction rule, for \(\mathbf{FL}_{\mathbf{e}}\), and also the weakening rules, for \(\mathbf{FL}_{\mathbf{ew}}\), and adding rules for the logical connective fusion. The logic \(\mathbf{FL}_{\mathbf{ew}}\) is characterized by the class of all commutative, integral residuated lattices [see \textit{H. Ono} and \textit{Y. Komori}, ``Logics without the contraction rule'', J. Symb. Log. 50, 169--201 (1985; Zbl 0583.03018)]. On the other hand, the same logic is also known as monoidal logic [see \textit{U. Höhle}, ``Commutative, residuated \(l\)-monoids'', in: U. Höhle et al. (eds.), Non-classical logics and their applications to fuzzy subsets. A handbook of the mathematical foundations of fuzzy set theory. Proceedings of the 14th Linz seminar on fuzzy set theory held at Linz, Austria in the second week of September 1992. Dordrecht: Kluwer Academic Publishers. Theory Decis. Libr., Ser. B. 32, 53--106 (1995; Zbl 0838.06012)]. The monoidal t-norm logic [see \textit{F. Esteva} and \textit{L. Godo}, ``Monoidal t-norm based logic: Towards a logic for left-continuous t-norms'', Fuzzy Sets Syst. 124, No.~3, 271--288 (2001; Zbl 0994.03017)] and Hájek's basic logic [see \textit{P. Hájek}, Metamathematics of fuzzy logic. Trends in Logic -- Studia Logica Library. 4. Dordrecht: Kluwer Academic Publishers (1998; Zbl 0937.03030)] are among the extensions of \(\mathbf{FL}_{\mathbf{ew}}\), and, due to this fact, the authors consider fuzzy logics and Łukasiewicz's many-valued logics as extensions of \(\mathbf{FL}_{\mathbf{ew}}\), in a quite natural way. The notions of almost maximal logic, interpolation property, finite model property and decidability in this context, are discussed as well.