output
20182022
most citedA System of Interaction and Structure III: The Complexity of BV and Pomset Logic

5 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2020Show all

1 paper · 1 filter

cs.LO2020★ 5 cited

An Analytic Propositional Proof System on Graphs

Matteo Acclavio, Ross Horne, Lutz Straßburger

In this paper we present a proof system that operates on graphs instead of formulas. Starting from the well-known relationship between formulas and cographs, we drop the cograph-co…