Non-Commutative Residuated Lattices