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