Right Rule
In
Sequent Calculus
, a
right rule
corresponds to an
Introduction Rule
for a connective.
Backlinks
Weakening Rule
Sequent Calculus
Exchange Rule