On the scope of some formulas defining additive connectives in fuzzy logics
In (Fuzzy Sets and Systems 149 (2005) 297) Wang et al. defined a new fuzzy logic called NMG. They also introduced new formulas to define the additive connectives from multiplicative conjunction, residuated implication and bottom in NMG. However, they did not study the scope of these formulas in the general framework of fuzzy logics. This is the aim of this paper. Therefore, we add the definability formulas to known fuzzy logics as new axioms, following the method used in (Beyond Two: Theory and Applications of Multiple-Valued Logic, 2003, 251.), and we obtain some families of logics presented in a simpler language. Finally, we discuss the standard completeness of these new logics. (c) 2005 Elsevier B.V. All rights reserved.
additive connectives left-continuous t-norms involutive left-continuous t-norms imtl-algebras mtl-algebras nilpotent minimum t-norm nm-algebras negation functions non-classical logics residuated lattices residuated fuzzy many-valued logics