Proof diagrams for multiplicative linear logic. - Matteo Acclavio (LINEARITY, 2016)

From Syntactic Proofs to Combinatorial Proofs. - Matteo Acclavio; Lutz Straßburger (IJCAR, 2018)

On Combinatorial Proofs for Modal Logic. - Matteo Acclavio; Lutz Straßburger (TABLEAUX, 2019)

On Combinatorial Proofs for Logics of Relevance and Entailment. - Matteo Acclavio; Lutz Straßburger (WoLLIC, 2019)

Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics. - Matteo Acclavio (J. Autom. Reason., 2019)

Generalized Connectives for Multiplicative Linear Logic. - Matteo Acclavio; Roberto Maieli (CSL, 2020)

Logic Beyond Formulas: A Proof System on Graphs. - Matteo Acclavio; Ross Horne; Lutz Straßburger (LICS, 2020)

Exponentially Handsome Proof Nets and Their Normalization. - Matteo Acclavio (Linearity&TLLA@IJCAR-FSCD, 2020)

A Deep Inference System for Differential Linear Logic. - Matteo Acclavio; Giulio Guerrieri (Linearity&TLLA@IJCAR-FSCD, 2020)

Game Semantics for Constructive Modal Logic. - Matteo Acclavio; Davide Catta; Lutz Straßburger (TABLEAUX, 2021)

Towards a Denotational Semantics for Proofs in Constructive Modal Logic. - Matteo Acclavio; Davide Catta; Lutz Straßburger (CoRR, 2021)

Combinatorial Proofs for Constructive Modal Logic. - Matteo Acclavio; Lutz Straßburger (AiML, 2022)

A Graphical Proof Theory of Logical Time. - Matteo Acclavio; Ross Horne; Sjouke Mauw; Lutz Straßburger (FSCD, 2022)

An Analytic Propositional Proof System on Graphs. - Matteo Acclavio; Ross Horne; Lutz Straßburger (Log. Methods Comput. Sci., 2022)

Lorenzen-Style Strategies as Proof-Search Strategies. - Matteo Acclavio; Davide Catta (EUMAS, 2023)

Canonicity of Proofs in Constructive Modal Logic. - Matteo Acclavio; Davide Catta; Federico Olimpieri (TABLEAUX, 2023)

Canonicity in Modal Lambda Calculus. - Matteo Acclavio; Davide Catta; Federico Olimpieri (CoRR, 2023)

Graphical Proof Theory I: Multiplicative Linear Logic Beyond Cographs. - Matteo Acclavio (CoRR, 2023)

Logic Programming with Multiplicative Structures. - Matteo Acclavio; Roberto Maieli (DCM, 2023)

Infinitary Cut-Elimination via Finite Approximations. - Matteo Acclavio; Gianluca Curzi; Giulio Guerrieri (CSL, 2024)

Sequent Systems on Undirected Graphs. - Matteo Acclavio (IJCAR (2), 2024)

On Propositional Dynamic Logic and Concurrency. - Matteo Acclavio; Fabrizio Montesi; Marco Peressotti (CoRR, 2024)

Non-wellfounded parsimonious proofs and non-uniform complexity. - Matteo Acclavio; Gianluca Curzi; Giulio Guerrieri (CoRR, 2024)

Proof Nets for the π-Calculus. - Matteo Acclavio; Giulia Manara (CoRR, 2024)

Formulas as Processes, Deadlock-Freedom as Choreographies. - Matteo Acclavio; Giulia Manara; Fabrizio Montesi (ESOP (1), 2025)

Formulas as Processes, Deadlock-Freedom as Choreographies (Extended Version). - Matteo Acclavio; Giulia Manara; Fabrizio Montesi (CoRR, 2025)

Intuitionistic BV (Extended version). - Matteo Acclavio; Lutz Straßburger (CoRR, 2025)