Substructural logic is a type of non-classical logic that modifies or eliminates some structural rules found in traditional logic systems. These structural rules include concepts like weakening, contraction, and exchange, which govern how premises can be manipulated in logical reasoning. By relaxing these rules, substructural logics can better model certain types of reasoning, such as those found in computer science and linguistics. One well-known variant of substructural logic is Linear Logic, introduced by Jean-Yves Girard. Linear Logic emphasizes the idea that resources are consumed when used, making it particularly useful in contexts where resource management is crucial. This approach contrasts with classical logic, where premises can be reused freely without concern for resource limitations.