Disambiguation evidence for Gentzen-style proof systems via surface form
"structural proof theory"
Triples (1)
Triples where some other subject referred to this entity
as "structural proof theory".
cut-elimination theorem
→
influencedField
→
"structural proof theory"
ⓘ
↳ resolves to Gentzen-style proof systems