Rule-elimination theorems (Q6633055)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Rule-elimination theorems |
scientific article; zbMATH DE number 7938978
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Rule-elimination theorems |
scientific article; zbMATH DE number 7938978 |
Statements
Rule-elimination theorems (English)
0 references
5 November 2024
0 references
cut-elimination theorems
0 references
universal logic
0 references
logical structures
0 references
rule-elimination theorems
0 references
0 references
