| BoundedSum | 
 Represents the bounded sum in fuzzy logic, i.e., S(x,y)=min(x+y,1) 
 | 
| DefaultNegation | 
 Implements the default fuzzy negation x -> x-1 
 | 
| FuzzyNegation | 
 Represents a fuzzy negation, i.e., a generalization of a logical
 negation on values in [0,1]. 
 | 
| LukasiewiczNorm | 
 Represents the Lukasiewicz-norm in fuzzy logic, i.e., T(x,y)=max(x+y-1,0) 
 | 
| MaximumCoNorm | 
 Represents the maximum-conorm in fuzzy logic, i.e., S(x,y)=max(x,y) 
 | 
| MinimumNorm | 
 Represents the minimum-norm in fuzzy logic, i.e., T(x,y)=min(x,y) 
 | 
| ProbabilisticSum | 
 Represents the probabilistic sum in fuzzy logic, i.e., S(x,y)=x+y-xy 
 | 
| ProductNorm | 
 Represents the product-norm in fuzzy logic, i.e., T(x,y)=xy 
 | 
| TCoNorm | 
 Represents a T-norm in fuzzy logic, i.e., a generalization of a logical
 conjunction on values in [0,1]. 
 | 
| TNorm | 
 Represents a T-norm in fuzzy logic, i.e., a generalization of a logical
 conjunction on values in [0,1]. 
 |