Linear logic models consumption of discrete resources.
Q: Is there an extension of linear logic that models the consumption of numeric resources (e.g., amount of a chemical substance).
Q: If so, does it have a corresponding (non-Cartesian) category? Is this category named/known?
Alternative intuition
Linear logic seems to capture properties about objects being consumed, consumed once, consumed at least once, etc. Is there a logic that deals with partial consumption, e.g., where only 1/3 of an object is consumed?