63 citations · 134 across the 19 of their papers we have counts for
1 paper · 1 filter
Roman Kuznets, Björn Lellmann
We introduce a new Gentzen-style framework of grafted hypersequents that combines the formalism of nested sequents with that of hypersequents. To illustrate the potential of the fr…