A characterization of truth-functions in the nilpotent minimum logic
By introducing a new family of partitions into the n-cube [0, 1](n), the problem of characterizing truth tables of formulas in the nilpotent minimum logic is solved and their normal forms are presented. So far, only this kind of fuzzy truth functions have normal forms among all fuzzy propositional calculi which are based on left-continuous but discontinuous t-norm. (C) 2003 Elsevier B.V. All rights reserved.
normal forms fuzzy logic fuzzy logic function nm-algebra nm-function