2 citations · 2 across the 6 of their papers we have counts for
1 paper · 1 filter
Franco Parlamento, Flavio Previale
On the ground of a general theorem concerning the admissibility of the structural rules in sequent calculi with additional atomic rules, we develop a proof theoretic analysis for s…