Any typed lambda calculus with products works. I think linear logic forms one under either conjunction.

The real numbers under addition?

Conway games under addition?