Completeness of the Lambek syntactic calculus

In this paper we prove that the Lambek syntactic calculus is complete with respect to free semigroup models, i. e. it derives exactly all identities concerning multiplication, left division, and right division of formal languages.