Concept
Structural rule
Overview
inference rule that does not refer to any logical connective, but instead operates on the judgment or sequents directly
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- Logical connective
- Proof theory
- Rule of inference
- Sequent calculus
- Curry–Howard correspondence
- Set (mathematics)
- Logic
- Computation
- Decision problem
- Cut rule
Place in the tradition
Part of Affine logic.