Upper bound on the lengthening of proofs by cut elimination (Q1077414)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Upper bound on the lengthening of proofs by cut elimination |
scientific article |
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
