the possibility of non-linear logic

the possibility of non-linear logic