Lambek calculus and its relational semantics: Completeness and incompleteness
scientific article; zbMATH DE number 502989
scientific article