TIL: Linear Logic is resource sensitive.
“While classical logic is about truth, linear logic is about food”.
What is linear logic?
“Operationally, this means that logical deduction is no longer merely about an ever-expanding collection of persistent “truths”, but also a way of manipulating resources that cannot always be duplicated or thrown away at will. “
So, it sounds like chemistry.