structural rule (Q4548693)
Jump to navigation
Jump to search
inference rule that does not refer to any logical connective, but instead operates on the judgment or sequents directly
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | structural rule |
inference rule that does not refer to any logical connective, but instead operates on the judgment or sequents directly |
Statements
Identifiers
Sitelinks
Wikipedia(3 entries)
- enwiki Structural rule
- ptwiki Regra estrutural
- zhwiki 结构规则