Autori: Abrusci, Vito Michele; Casadio, Claudia
Editore: Springer Verlag
Tipologia Prodotto: Articolo in rivista
DOI: 10.1007/s11225-016-9698-4
Titolo della Rivista: STUDIA LOGICA
Numero;Volume: 3; 105
Numero prima e ultima pagina: 1 – 42
Codice ISSN: 0039-3215
Anno di Pubblicazione: 2017
Link: https://link.springer.com/article/10.1007%2Fs11225-016-9698-4
Abstract:
We present a geometrical analysis of the principles that lay at the basis of Categorial Grammar and of the Lambek Calculus. In Abrusci (On residuation, 2014) it is shown that the basic properties known as Residuation laws can be characterized in the framework of Cyclic Multiplicative Linear Logic, a purely non-commutative fragment of Linear Logic. We present a summary of this result and, pursuing this line of investigation, we analyze a well-known set of categorial grammar laws: Monotonicity, Application, Expansion, Type-raising, Composition, Geach laws and Switching laws.