Calcolo di Lambek, logica lineare e linguistica