t-conorm

English

t-conorm (plural t-conorms)

(fuzzy logic) A binary function from [0,1] × [0,1] to [0,1], which, when given (a,b) as input, returns one minus a t-norm of (1 − a, 1 − b).
The t-conorm ${\sqrt {x^{2}+y^{2}-x^{2}y^{2}}}$ is dominated by the t-conorm $x+y-xy$ , which is in turn dominated by the t-conorm ${x+y \over 1+xy}$ .

A t-conorm acts as a disjunction in fuzzy logic or as a union in fuzzy set theory. When one of its arguments is 0, it returns its other argument; when one of its arguments is 1, it returns 1. It is both associative and commutative, and its partial derivatives with respect to its parameters are non-negative.