Aggregation, non-contradiction ans excluded-middle

This paper investigates the satisfaction of the Non-Contradiction (NC) and Excluded-Middle (EM) laws within the domain of aggregation operators. It provides characterizations both for those aggregation operators that satisfy NC/EM with respect to (w.r.t.) some given strong negation, as well as for those satisfying them w.r.t. any strong negation. The results obtained are applied to some of the most important known classes of aggregation operators

Implications in bounded systems

Abstract A consistent connective system generated by nilpotent operators is not necessarily isomorphic to Łukasiewicz-system. Using more than one generator function, consistent nilpotent connective systems (so-called bounded systems) can be obtained with the advantage of three naturally derived negations and thresholds. In this paper, implications in bounded systems are examined. Both R- and S-implications with respect to the three naturally derived negations of the bounded system are considered. It is shown that these implications never coincide in a bounded system, as the condition of coincidence is equivalent to the coincidence of the negations, which would lead to Łukasiewicz logic. The formulae and the basic properties of four different types of implications are given, two of which fulfill all the basic properties generally required for implications

Fuzzy entropy from weak fuzzy subsethood measures

In this paper, we propose a new construction method for fuzzy and weak fuzzy subsethood measures based on the aggregation of implication operators. We study the desired properties of the implication operators in order to construct these measures. We also show the relationship between fuzzy entropy and weak fuzzy subsethood measures constructed by our method

On triangular norms and uninorms definable in ŁΠ12

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

Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics

This paper focuses on the issue of how generalizations of continuous and left-continuous t-norms over linearly ordered sets should be from a logical point of view. Taking into account recent results in the scope of algebraic semantics for fuzzy logics over chains with a monoidal residuated operation, we advocate linearly ordered BL-algebras and MTL-algebras as adequate generalizations of continuous and left-continuous t-norms respectively. In both cases, the underlying basic structure is that of linearly ordered residuated lattices. Although the residuation property is equivalent to left-continuity in t-norms, continuous t-norms have received much more attention due to their simpler structure. We review their complete description in terms of ordinal sums and discuss the problem of describing the structure of their generalization to BL-chains. In particular we show the good behavior of BL-algebras over a finite or complete chain, and discuss the partial knowledge of rational BL-chains. Then we move to the general non-continuous case corresponding to left-continuous t-norms and MTL-chains. The unsolved problem of describing the structure of left-continuous t-norms is presented together with a fistful of construction-decomposition techniques that apply to some distinguished families of t-norms and, finally, we discuss the situation in the general study of MTL-chains as a natural generalization of left-continuous t-norms

Fuzzy Mathematics

This book provides a timely overview of topics in fuzzy mathematics. It lays the foundation for further research and applications in a broad range of areas. It contains break-through analysis on how results from the many variations and extensions of fuzzy set theory can be obtained from known results of traditional fuzzy set theory. The book contains not only theoretical results, but a wide range of applications in areas such as decision analysis, optimal allocation in possibilistics and mixed models, pattern classification, credibility measures, algorithms for modeling uncertain data, and numerical methods for solving fuzzy linear systems. The book offers an excellent reference for advanced undergraduate and graduate students in applied and theoretical fuzzy mathematics. Researchers and referees in fuzzy set theory will find the book to be of extreme value