Le direzioni della ricerca logica in Italia: la logica lineare e i suoi sviluppi