Definitions from Wikipedia (Structural rule)

▸ noun:  In the logical discipline of proof theory, a structural rule is an inference rule of a sequent calculus that does not refer to any logical connective but instead operates on the sequents directly.


▸ Words similar to structural rule
▸ Usage examples for structural rule

▸ Idioms related to structural rule
▸ Wikipedia articles (New!)
▸ Words that often appear near structural rule
▸ Rhymes of structural rule

▸ Invented words related to structural rule