cut rule (Q18400501)
Jump to navigation
Jump to search
inference rule, generalisation of the modus ponens, in sequent calculus
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | cut rule |
inference rule, generalisation of the modus ponens, in sequent calculus |
Statements
0 references
Identifiers
Sitelinks
Wikipedia(4 entries)
- enwiki Cut rule
- frwiki Règle de coupure
- ptwiki Regra do corte
- ruwiki Сечение (теория доказательств)