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 |
|