Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (Q5251184)
From MaRDI portal
scientific article; zbMATH DE number 6439446
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus |
scientific article; zbMATH DE number 6439446 |
Statements
Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (English)
0 references
22 May 2015
0 references
generalized elimination rules
0 references
normalization
0 references
