On the completeness of the Lambek calculus with respect to relativized relational semantics
scientific article; zbMATH DE number 683207