$T(x,y) = \min(x,y)$. This is the cartesian monoidal structure, also known as the minimum t-norm or the Godel t-norm.

$T(x,y) = x y$, the product t-norm.

$T(x,y) = \max(x+y-1,0)$, the Lukasiewicz t-norm (see Lukasiewicz logic?). This monoidal structure is moreover star-autonomous with the obvious involution $x^\ast = 1-x$.

Created on January 3, 2018 at 17:59:23.
See the history of this page for a list of all contributions to it.