Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction (Q5221860)
From MaRDI portal
scientific article; zbMATH DE number 7185555
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction |
scientific article; zbMATH DE number 7185555 |
Statements
Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction (English)
0 references
3 April 2020
0 references
cut elimination
0 references
contraction
0 references
altitude line
0 references
