[Revised entry by Greg Restall on August 15, 2024.
Changes to: Main text, Bibliography]
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…

Read the full article which is published on Stanford Encyclopedia of Philosophy (external link)