1 citations · 1 across the 3 of their papers we have counts for
1 paper · 2 filters
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…