Undecidable , full logic with multiplicatives , additives and exponentials is decidable , affine logic is propositional linear .
Propositional linear logic with multiplicatives , additives and exponentials ) is undecidable , full affine logic is decidable .