Fuzzy logics with an additional involutive negation
This paper surveys the present state of knowledge on propositional fuzzy logics extending SBL with an additional involutive negation. The involutive negation is added as a new propositional connective in order to improve the expressive power of the standard mathematical fuzzy logics based on continuous triangular norms. (C) 2009 Elsevier B.V. All rights reserved.
involutive negation mathematical fuzzy logic triangular norm triangular conorm lattice of varieties compactness computational complexity