Assume that ($\oplus$, $\otimes$) is a semiring over the non-negative reals.

If $\otimes$ is +, what are the possible operators for $\oplus$?

So far I have proven that max and softmax (logsumexp) are solutions. Can we characterize all possible $\oplus$?

I'd also appreciate references to relevant papers.