Formal systems of fuzzy logic and their fragments (Q2463481)

Nine fuzzy logics are taken into account: MTL, IMTL, SMTL, \(\Pi\)MTL, BL, SBL, Łukasiewicz, Gödel, and product logic; \(\{\rightarrow, \&, \bar 0, \wedge, \vee\}\) is taken as their common language. In this paper, the fragments of each of these logics to any sublanguage containing \(\rightarrow\) are studied -- 144 in total. For practically all of them, axiomatic systems are provided in a systematic and transparent manner. Furthermore, there are necessary and sufficient criteria given when any two of the fragments coincide and, furthermore, when they are termwise equivalent. It turns out that among the logics considered, 57 are mutually distinct. Finally, it is stated in which cases the class of algebras belonging to a fragment forms a variety. The article concludes showing how to axiomatize predicate versions of fragments of extensions of MTL without use of the \(\vee\) connective.