Lambek–Grishin Calculus Extended to Connectives of Arbitrary Arity

Abstract

In my thesis, I introduce the generalized Lambek–Grishin calculus and study its properties. The second part of this thesis studies the Lambek calculus and the Lambek–Grishin calculus from the perspective of formal language theory. The main result is a new lower-bound on the generative complexity of the Lambek–Grishin calculus.