Substructural logics

Substructural logics are non-classical logics notable for the absence of one or more structural rules present in classical logic. Initial interest in substructural logics developed independently in the second half of the twentieth century, through considerations from philosophy (relevant logics), from linguistics (the Lambek calculus) and from the mathematics of proof theory (linear logic). Since the 1990s, these independent lines of inquiry have been understood to be different aspects of a unified field, and techniques from substructural logics are useful in the study of traditional logics such as classical and intuitionistic logic. This article provides a brief overview of the field of substructural logic.