Theoretical Computer Science
New family of triangular norms via contrapositive symmetrization of residuated implications
Fuzzy Sets and Systems
On a class of left-continuous t-norms
Fuzzy Sets and Systems - Mathematics
A triangular-norm-based propositional fuzzy logic
Fuzzy Sets and Systems - Logic and algebra
A characterization theorem on the rotation construction for triangular norms
Fuzzy Sets and Systems - Theme: Basic concepts
Undefinability of min-conjunction in MTL
Fuzzy Sets and Systems
Strict core fuzzy logics and quasi-witnessed models
Archive for Mathematical Logic
Hi-index | 0.20 |
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.