Miroslawa Kolowska-Gawiejnowicz A Labelled Deductive System for Relational Semantics of the Lambek Calculus. 51-58 1999 45 Math. Log. Q. db/journals/mlq/mlq45.html#Kolowska-Gawiejnowicz99