Implication functions in interval-valued fuzzy set theory

Interval-valued fuzzy set theory is an extension of fuzzy set theory in which the real, but unknown, membership degree is approximated by a closed interval of possible membership degrees. Since implications on the unit interval play an important role in fuzzy set theory, several authors have extended this notion to interval-valued fuzzy set theory. This chapter gives an overview of the results pertaining to implications in interval-valued fuzzy set theory. In particular, we describe several possibilities to represent such implications using implications on the unit interval, we give a characterization of the implications in interval-valued fuzzy set theory which satisfy the Smets-Magrez axioms, we discuss the solutions of a particular distributivity equation involving strict t-norms, we extend monoidal logic to the interval-valued fuzzy case and we give a soundness and completeness theorem which is similar to the one existing for monoidal logic, and finally we discuss some other constructions of implications in interval-valued fuzzy set theory

Aggregation on bipolar scales

The paper addresses the problem of extending aggregation operators typically defined on $[0,1]$ to the symmetric interval $[-1,1]$, where the ``0'' value plays a particular role (neutral value). We distinguish the cases where aggregation operators are associative or not. In the former case, the ``0'' value may play the role of neutral or absorbant element, leading to pseudo-addition and pseudo-multiplication. We address also in this category the special case of minimum and maximum defined on some finite ordinal scale. In the latter case, we find that a general class of extended operators can be defined using an interpolation approach, supposing the value of the aggregation to be known for ternary vectors.bipolar scale; bi-capacity; aggregation

The quest for rings on bipolar scales

We consider the interval $]{-1},1[$ and intend to endow it with an algebraic structure like a ring. The motivation lies in decision making, where scales that are symmetric w.r.t.~$0$ are needed in order to represent a kind of symmetry in the behaviour of the decision maker. A former proposal due to Grabisch was based on maximum and minimum. In this paper, we propose to build our structure on t-conorms and t-norms, and we relate this construction to uninorms. We show that the only way to build a group is to use strict t-norms, and that there is no way to build a ring. Lastly, we show that the main result of this paper is connected to the theory of ordered Abelian groups.

On the distributivity equation for uni-nullnorms

summary:A uni-nullnorm is a special case of 2-uninorms obtained by letting a uninorm and a nullnorm share the same underlying t-conorm. This paper is mainly devoted to solving the distributivity equation between uni-nullnorms with continuous Archimedean underlying t-norms and t-conorms and some binary operators, such as, continuous t-norms, continuous t-conorms, uninorms, and nullnorms. The new results differ from the previous ones about the distributivity in the class of 2-uninorms, which have not yet been fully characterized

Distributivity of strong implications over conjunctive and disjunctive uninorms

summary:This paper deals with implications defined from disjunctive uninorms $U$ by the expression $I(x,y)=U(N(x),y)$ where $N$ is a strong negation. The main goal is to solve the functional equation derived from the distributivity condition of these implications over conjunctive and disjunctive uninorms. Special cases are considered when the conjunctive and disjunctive uninorm are a $t$-norm or a $t$-conorm respectively. The obtained results show a lot of new solutions generalyzing those obtained in previous works when the implications are derived from $t$-conorms