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

  • Authors:

  • Carles Noguera;Francesc Esteva;Lluís Godo

  • Affiliations:

  • Dept. of Mathematics and Computer Science, University of Siena, Pian dei Mantellini 44, 53100 Siena, Italy;Artificial Intelligence Research Institute (IIIA - CSIC), Campus de la Universitat Autònoma de Barcelona s/n, 08193 Bellaterra, Catalonia, Spain;Artificial Intelligence Research Institute (IIIA - CSIC), Campus de la Universitat Autònoma de Barcelona s/n, 08193 Bellaterra, Catalonia, Spain

  • Venue:
  • Information Sciences: an International Journal
  • Year:
  • 2010

Quantified Score

Hi-index 0.07

Visualization

Abstract

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.