Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (Q5251184): Difference between revisions
From MaRDI portal
Latest revision as of 02:44, 10 July 2024
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
0 references
