Substructural logics are non-classical logics notable for the absence of one or more structural rules present in classical logic.
- Relevance Logic: No weakening rule
- Linear Logic: No weakening and contraction rule
Substructural logics are non-classical logics notable for the absence of one or more structural rules present in classical logic.