Concept

Substructural logic

Overview

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 relevance logic and linear logic.

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Philosophers who discussed Substructural logic

• Ivan Orlov (philosopher)

Related ideas

• Intuitionistic logic
• Logical conjunction
• Propositional logic
• Proof theory
• Intuitionism
• Sequent calculus
• Logic
• Classical logic
• Linear logic
• Structural rule
• Monotonicity of entailment

Place in the tradition

Part of Outline of philosophy.

Explore Substructural logic in the interactive graph →