On the scope of some formulas defining additive connectives in fuzzy logics

From Mathfuzzlog
Jump to: navigation, search
Authors:
Àngel García-Cerdaña
Carles Noguera
Francesc Esteva
Title: On the scope of some formulas defining additive connectives in fuzzy logics
Journal: Fuzzy Sets and Systems
Volume 154
Number 1
Pages: 56-75
Year: 2005
Preprint




Abstract

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.