The inverse method for intuitionistic linear logic : (the propositional fragment)