7 citations · 16 across the 4 of their papers we have counts for
1 paper · 1 filter
Giuseppe Greco, Valentin D. Richard, Michael Moortgat +1
\emph{Focused sequent calculi} are a refinement of sequent calculi, where additional side-conditions on the applicability of inference rules force the implementation of a proof sea…