Asymptotic cyclic expansion and bridge groups of formal proofs (Q5945614)
From MaRDI portal
scientific article; zbMATH DE number 1657281
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Asymptotic cyclic expansion and bridge groups of formal proofs |
scientific article; zbMATH DE number 1657281 |
Statements
Asymptotic cyclic expansion and bridge groups of formal proofs (English)
0 references
6 June 2002
0 references
formal proofs
0 references
logical flow graphs
0 references
cut elimination
0 references
Baumslag-Solitar groups
0 references
cyclic structure of proofs
0 references
sequent calculus
0 references
combinatorial invariant
0 references
bridge group of a proof
0 references
Gersten groups
0 references
elimination of lemmas
0 references
0 references
