structural rule
inference rule that does not refer to any logical connective, but instead operates on the judgment or sequents directly
en-US/ˈstɹʌkt͡ʃɚəl ˈɹul/
inference rule that does not refer to any logical connective, but instead operates on the judgment or sequents directly