73 research outputs found

    Implication functions in interval-valued fuzzy set theory

    Get PDF
    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

    Distributivity of strong implications over conjunctive and disjunctive uninorms

    Get PDF
    summary:This paper deals with implications defined from disjunctive uninorms UU by the expression I(x,y)=U(N(x),y)I(x,y)=U(N(x),y) where NN 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 tt-norm or a tt-conorm respectively. The obtained results show a lot of new solutions generalyzing those obtained in previous works when the implications are derived from tt-conorms

    Intersections between some families of (U,N)- and RU-implications

    Get PDF
    (U,N)-implications and RU-implications are the generalizations of (S,N)- and R-implications to the framework of uninorms, where the t-norms and t-conorms are replaced by appropriate uninorms. In this work, we present the intersections that exist between (U,N)-implications and the different families of RU-implications obtainable from the well-established families of uninorms

    The quest for rings on bipolar scales

    Get PDF
    We consider the interval ]1,1[]{-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.~00 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.

    Relating Kleene algebras with pseudo uninorms

    Get PDF
    This paper explores a strict relation between two core notions of the semantics of programs and of fuzzy logics: Kleene Algebras and (pseudo) uninorms. It shows that every Kleene algebra induces a pseudo uninorm, and that some pseudo uninorms induce Kleene algebras. This connection establishes a new perspective on the theory of Kleene algebras and provides a way to build (new) Kleene algebras. The latter aspect is potentially useful as a source of formalism to capture and model programs acting with fuzzy behaviours and domains.publishe

    A principal topology obtained from uninorms

    Get PDF
    summary:We obtain a principal topology and some related results. We also give some hints of possible applications. Some mathematical systems are both lattice and topological space. We show that a topology defined on the any bounded lattice is definable in terms of uninorms. Also, we see that these topologies satisfy the condition of the principal topology. These topologies can not be metrizable except for the discrete metric case. We show an equivalence relation on the class of uninorms on a bounded lattice based on equality of the topologies induced by uninorms

    On triangular norms and uninorms definable in ŁΠ12

    Get PDF
    AbstractIn this paper, we investigate the definability of classes of t-norms and uninorms in the logic ŁΠ12. In particular we provide a complete characterization of definable continuous t-norms, weak nilpotent minimum t-norms, conjunctive uninorms continuous on [0,1), and idempotent conjunctive uninorms, and give both positive and negative results concerning definability of left-continuous t-norms (and uninorms). We show that the class of definable uninorms is closed under construction methods as annihilation, rotation and rotation–annihilation. Moreover, we prove that every logic based on a definable uninorm is in PSPACE, and that any finitely axiomatizable logic based on a class of definable uninorms is decidable. Finally we show that the Uninorm Mingle Logic (UML) and the Basic Uninorm Logic (BUL) are finitely strongly standard complete w.r.t. the related class of definable left-continuous conjunctive uninorms

    Migrativity properties of 2-uninorms over semi-t-operators

    Get PDF
    summary:In this paper, we analyze and characterize all solutions about α\alpha-migrativity properties of the five subclasses of 2-uninorms, i. e. CkC^{k}, Ck0C^{0}_{k}, Ck1C^{1}_{k}, C10C^{0}_{1}, C01C^{1}_{0}, over semi-t-operators. We give the sufficient and necessary conditions that make these α\alpha-migrativity equations hold for all possible combinations of 2-uninorms over semi-t-operators. The results obtained show that for GCkG\in C^{k}, the α\alpha-migrativity of GG over a semi-t-operator Fμ,νF_{\mu,\nu} is closely related to the α\alpha-section of Fμ,νF_{\mu,\nu} or the ordinal sum representation of t-norm and t-conorm corresponding to Fμ,νF_{\mu,\nu}. But for the other four categories, the α\alpha-migrativity over a semi-t-operator Fμ,νF_{\mu,\nu} is fully determined by the α\alpha-section of Fμ,νF_{\mu,\nu}
    corecore