That doesn’t really answer his question. https://math.stackexchange.com/questions/2339147/why-is-it-called-linear-logic/2339157 https://math.stackexchange.com/

That doesn’t really answer his question. https://math.stackexchange.com/questions/2339147/why-is-it-called-linear-logic/2339157 https://math.stackexchange.com/questions/2339147/why-is-it-c... Apparently there is some connection to vector spaces in the structure of linear logic which linear types are based on.