Lambek’s Syntactic Calculus and Noncommutative Variants of Linear Logic: Laws and Proof-Nets
Capitolo di libro
Data di Pubblicazione:
2021
Abstract:
This work is devoted to the relations between Lambek’s Syntactic Calculus (LC) and noncommutative variants of Girard’s Linear Logic; in particular the paper will consider: (i) the geometrical representation of the laws of LC by means of proof-nets; (ii) the discovery - due to such a geometrical representation - of some laws of LC not yet considered; (iii) the discussion of possible linguistic uses of these new laws.
Tipologia CRIS:
2.1 Contributo in volume (Capitolo o Saggio)
Keywords:
Logic, language, computation, syntactic learning and decision, categorial grammars
Elenco autori:
Casadio, Claudia; Michele Abrusci, V.
Link alla scheda completa:
Titolo del libro:
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics