A note on drastic product logic

Stefano Aguzzoli, Matteo Bianchi, Diego Valota

The drastic product ${\ast }_D$ is known to be the smallest $t$-norm, since $x{\ast }_{D}y=0$ whenever $x,y<1$. This $t$-norm is not left-continuous, and hence it does not admit a residuu…