Linear logic is a substructural logic developed by Jean-Yves Girard (1947– ). Its principal feature is dropping the structural rule of contraction from the classical rules. The thought behind this was that inference might be resource-dependent, and what you get from using a premiss twice, you might not be able to get from using it once, since the use may have used up that resource. Linear logics have a distinctive set of intentional connectives, as well as the more familiar extensional ones. A notable feature of the extensional connectives, however, is that the law of distributivity fails.