A Differentiable Logical Operators T-norms (>