To add a semantic argument: models of tensor logic are given by symmetric monoidal categories with an exponentiating object $\bot$ serving as pole; negation is then given by $\neg A = \bot^A$. For example, one may choose any object of a symmetric monoidal closed category as pole, and a degenerate special case of this is given by commutative monoids. Now take eg the additive monoid of integers, and $1$ as pole. Then an arrow $\bot\otimes\bot\to\bot$ in the model would mean that $1+1=1$.