Intuitionistic linear logic