Upper bound on the lengthening of proofs by cut elimination (Q1077414)
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: Upper bound on the lengthening of proofs by cut elimination |
scientific article; zbMATH DE number 3957094
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Upper bound on the lengthening of proofs by cut elimination |
scientific article; zbMATH DE number 3957094 |
Statements
Upper bound on the lengthening of proofs by cut elimination (English)
0 references
1986
0 references
Translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 137, 87-98 (Russian) (1984; Zbl 0562.03027).
0 references
intuitionistic predicate calculus
0 references
classical sequential calculus of
0 references
predicates
0 references
derivation-tree of a sequent
0 references
cut-free proof
0 references
