Abstract

Since the introduction of proof nets as an elegant proof theory for the multiplicative fragment of linear logic in Girard a number of attempts have been made to adapt this proof theory to a variety of Lambek Calculi as shown by work from eg Roorda Morrill and
... read more