Disambiguation evidence for Gentzen-style proof systems via surface form
"Gentzen’s sequent calculus LK"
Triples (1)
Triples where some other subject referred to this entity
as "Gentzen’s sequent calculus LK".
cut-elimination theorem
→
formalizedIn
→
"Gentzen’s sequent calculus LK"
ⓘ
↳ resolves to Gentzen-style proof systems