4 citations · 6 across the 5 of their papers we have counts for
1 paper · 1 filter
Matteo Acclavio
In this paper we explore the design of sequent calculi operating on graphs. For this purpose, we introduce a set of logical connectives allowing us to extend the correspondence bet…