Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
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…
cs.LO2025
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…
cs.LO2024
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…