Structural rule

inference rule that does not refer to any logical connective, but instead operates on the judgment or sequents directly

Pronunciation

Categories