Representation of Residuated Semigroups in Some Algebras of Relations (The Method of Canonical Models). - Wojciech Buszkowski; Miroslawa Kolowska-Gawiejnowics (Fundam. Informaticae, 1997)

Relational semantics for Lambek calculus. - Miroslawa Kolowska-Gawiejnowics (RelMiCS, 1998)