Proof Nets for the Lambek Calculus - an overview
François Lamarche, Christian Retoré · 1998
1 Introduction: the interest of proof nets for categorial grammar There are both linguistic and mathematical reasons for studying proof nets the perspective of categorial grammar. It is now well known that the Lambek calculus corresponds to intuitionnistic non-commutative multiplicative linear logic — with no empty antecedent, to be absolutely precise. As natural deduction underlines the constructive contents of intuitionistic