Bounded lattice t-norms as an interval category

  • Authors:
  • Benjamín C. Bedregal;Roberto Callejas-Bedregal;Hélida S. Santos

  • Affiliations:
  • Federal University of Rio Grande do Norte, Department of Informatics and Applied Mathematics, Natal, Brazil;Federal University of Paraíba, Department of Mathematics, Cidade Universitária, João Pessoa, PB, Brazil;Federal University of Rio Grande do Norte, Department of Informatics and Applied Mathematics, Natal, Brazil

  • Venue:
  • WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Triangular norms or t-norms, in short, and automorphisms are very useful to fuzzy logics in the narrow sense. However, these notions are usually limited to the set [0, 1]. In this paper we will consider a generalization of the t-norm notion for arbitrary bounded lattices as a category where these generalized t-norms are the objects and generalizations of automorphisms are the morphisms of the category. We will prove that, this category is an interval category, which roughly means that it is a Cartesian category with an interval covariant functor.