Concept
Substructural Logic 0
Substructural logic is a type of non-classical logic that modifies or omits structural rules like weakening, contraction, and exchange, which are fundamental in classical logic. This allows for the exploration of logics that can model phenomena such as resource sensitivity and order sensitivity, which are not adequately captured by classical logic systems.
Relevant Degrees