Cut elimination in sequent calculi with implicit contraction, with a conjecture on the origin of Gentzen's altitude line construction (Q5221860)
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: 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
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8161897659301758
0 references
0.8133878111839294
0 references
0.8100124001502991
0 references
0.8080242276191711
0 references
