Sure! Lambek's original papers are also very clear.

Do you know any other good applications of left and right residuated monoidal posets that aren't commutative?