Is there a good reference on the basic inequalities and equalities that hold within a quantale $V$? Each source I find usually contains very few general properties of elements in a quantale. I'm looking for a more comprehensive source listing many properties. To clarify the kind of properties I'm interested in (using what is quite standard notation):
Properties listed often: $x+y\le z \iff x\le z-y$ and $(x-y)+y\ge x$
Less frequent properties: $x\prec y\iff y-x\succ 0$
Thanks!
