Structural Rule
In logic and type theory, a
structural rule
is a rule that lets you manipulate the
Context
.
Backlinks
Weakening Rule
Exchange Rule
Cut Rule
Bidirectional Type Theory