1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold
In sequent calculi, cut elimination is a property that guarantees that any provable formula can be proven analytically. For example, Gentzen's classical and intuitionistic calculi…