Miroslawa Kolowska-Gawiejnowics Relational semantics for Lambek calculus. 132-137 1998 conf/RelMiCS/1998 RelMiCS db/conf/RelMiCS/RelMiCS1998.html#Kolowska-Gawiejnowics98