17 citations · 27 across the 5 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…