Linear Logic
Linear Logic is a type of logic that emphasizes the concept of resource management. Unlike classical logic, where propositions can be reused freely, linear logic treats propositions as resources that can be consumed. This means that once a proposition is used, it cannot be used again unless it is explicitly regenerated.
Developed by Jean-Yves Girard in the 1980s, linear logic has applications in various fields, including computer science and linguistics. It provides a framework for understanding how resources are allocated and transformed, making it useful for modeling processes in programming languages and game theory.