Substructural Logic

A substructural logic is a logic obtained by omitting or restricting one or more structural rules governing assumptions, such as exchange, contraction, or weakening. Different choices give systems in which the order, multiplicity, or availability of assumptions matters. Important examples include relevance logic, the Lambek calculus, and linear logic. Substructural logics are used to model resources and other forms of controlled inference.