@JadeMaster: I think that the Theorem simply says that a monoidal poset with all joins is closed (hence a quantale) iff the distributive conditions on the monoidal product and joins hold.