4 citations · 6 across the 5 of their papers we have counts for
6 papers
Proof Nets for PiL (Full Version)
Matteo Acclavio, Giulia Manara
We introduce proof nets for PiL, an extension of first-order multiplicative additive linear logic with new operators allowing a shallow encoding of processes in the π-calculus as f…
Proofs as Execution Trees for the π-Calculus
Matteo Acclavio, Giulia Manara
In this paper, we establish the foundations of a novel logical framework for the π-calculus, based on the deduction-as-computation paradigm. Following the standard proof-theoretic…
Graphical Proof Theory I: Sequent Systems on Undirected Graphs
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…
Exponentially Handsome Proof Nets and Their Normalization
Matteo Acclavio
Handsome proof nets were introduced by Retoré as a syntax for multiplicative linear logic. These proof nets are defined by means of cographs (graphs representing formulas) equipped…
Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics
Matteo Acclavio
Proof nets are a syntax for linear logic proofs which gives a coarser notion of proof equivalence with respect to syntactic equality together with an intuitive geometrical represen…
Proof Diagrams for Multiplicative Linear Logic
Matteo Acclavio
The original idea of proof nets can be formulated by means of interaction nets syntax. Additional machinery as switching, jumps and graph connectivity is needed in order to ensure…