Calcolo di Lambek, logica lineare e linguistica

L'articolo presenta lo stato dell'arte delle relazioni tra il calcolo sintattico per la formalizzazione del linguaggio naturale, noto come Calcolo di Lambek, e la logica lineare. La logica lineare (J.-Y. Girard, 1987) rappresenta un’area di ricerca nuova ed interessante, sia dal punto di vista teorico, che dal punto di vista delle sue possibili applicazioni, in particolare nell’ambito delle discipline computazionali e linguistiche. Per quanto riguarda la dimensione del linguaggio, si tratta di un territorio per molti aspetti inesplorato, che si presta allo scambio interdisciplinare ed alla produzione di nuovi modelli interpretativi. La versione appropriata alla formalizzazione del calcolo introdotto nel 1958 dal matematico canadese J. Lambek, nasce dall’esigenza di sviluppare una logica sensibile non solo al numero e all’uso delle risorse, ma anche al loro ordine, proprietà distintiva delle espressioni e dei contesti linguistici.