I do not think the last sentence is an adequate description of what linear logic is, or how it's used and understood.
It is interesting in itself, I admit that. But I don't see how it would admit contradiction, or how logicians are clueless how to handle it. It is in fact well understood, and used in many places, e.g. computer science [1,2]
It is interesting in itself, I admit that. But I don't see how it would admit contradiction, or how logicians are clueless how to handle it. It is in fact well understood, and used in many places, e.g. computer science [1,2]
[1] https://en.m.wikipedia.org/wiki/Linear_logic
[2] https://plato.stanford.edu/entries/logic-linear/