2 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
Samuel Balco, Sabine Frittella, Giuseppe Greco +2
We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively…