In
logic, a
substructural logic is a logic lacking one of the usual structural rules (e.g. of classical and intuitionistic logic), such as
weakening,
contraction, exchange or associativity. Two of the more significant substructural logics are
relevant logic and
linear logic.