Linearised logic