|
|||||
|
|
A Labelled Deductive System for Relational Semantics of the Lambek Calculus |
|
| Authors: | Miroslawa Kolowska-Gawiejnowicz |
| Abstract: | We present a labelled version of Lambek Calculus without unit, and we use it to prove a completeness theorem for Lambek Calculus with respect to some relational semantics. |
| Keywords: | Lambek calculus Labelled deductive system Relational semantics |