| |
| 1999 | ||
|---|---|---|
| 2 | Miroslawa Kolowska-Gawiejnowicz: A Labelled Deductive System for Relational Semantics of the Lambek Calculus. Math. Log. Q. 45: 51-58 (1999) | |
| 1997 | ||
| 1 | Miroslawa Kolowska-Gawiejnowicz: Powerset Residuated Algebras and Generalized Lambek Calculus. Math. Log. Q. 43: 60-72 (1997) | |