Lambek Calculus and its relational semantics: Completeness and incompleteness Hajnal AndrékaSzabolcs Mikulás OriginalPaper Pages: 1 - 37