(S,N)-implications on bounded lattices

Since the birth of the fuzzy sets theory several extensions have been proposed. For these extensions, different sets of membership functions were considered. Since fuzzy connectives, such as conjunctions, negations and implications, play an important role in the theory and applications of fuzzy logics, these connectives have also been extended. An extension of fuzzy logic, which generalizes the ones considered up to the present, was proposed by Joseph Goguen in 1967. In this extension, the membership values are drawn from arbitrary bounded lattices. The simplest and best studied class of fuzzy implications is the class of (S,N)-implications, and in this chapter we provide an extension of (S,N)-implications in the context of bounded lattice valued fuzzy logic, and we show that several properties of this class are preserved in this more general framework.