Theory of discontinuous Lambek calculus