This thesis studies proof nets for several variants of the Lambek Calculus and their classical extensions. In the first part, Beyond Monomodality, the focus is on basic issues of the Lambek Calculus with/without Permutation and Associativity, combinations of these variants and the use of unary modalities. The second part, Beyond Multimodality, and the Appendix are dedicated to three recent developments of the Lambek Calculus, namely the Discontinuous Calculus, Pregroup Grammars, and the Lambek-Grishin Calculus.
Keywords: sublinear logic, multimodality, proof nets, Lambek Calculus, discontinuity, pregroups, Grishin rules.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados