|
VIDEO LIBRARY |
The eighth International ņonference "Advances in Modal Logic" (AiML 2010)
|
|||
|
Complexity of the Lambek calculus and its fragments Mati Pentus |
|||
Abstract: We consider the original Lambek calculus and its natural modification called the Lambek calculus allowing empty premises. Both calculi have three binary connectives: an associative product operator and its two residuals, the left and right division. This paper contains a short survey of complexity results concerning fragments of these calculi obtained by restricting the set of connectives and/or the number of variables. |