Matteo Acclavio

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 26

Top Topics

Cut Elimination

Sequent Calculus

Top Venues

Publications

Matteo Acclavio, Fabrizio Montesi, Marco Peressotti
On Propositional Dynamic Logic and Concurrency. CoRR (2024)
Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri
Infinitary Cut-Elimination via Finite Approximations. CSL (2024)
Matteo Acclavio
Sequent Systems on Undirected Graphs. IJCAR (2) (2024)
Matteo Acclavio, Roberto Maieli
Logic Programming with Multiplicative Structures. CoRR (2024)
Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri
Non-wellfounded parsimonious proofs and non-uniform complexity. CoRR (2024)
Matteo Acclavio
Graphical Proof Theory I: Multiplicative Linear Logic Beyond Cographs. CoRR (2023)
Matteo Acclavio, Davide Catta, Federico Olimpieri
Canonicity of Proofs in Constructive Modal Logic. TABLEAUX (2023)
Matteo Acclavio, Davide Catta
Lorenzen-Style Strategies as Proof-Search Strategies. EUMAS (2023)
Matteo Acclavio, Davide Catta, Federico Olimpieri
Canonicity in Modal Lambda Calculus. CoRR (2023)
Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri
Infinitary cut-elimination via finite approximations. CoRR (2023)
Matteo Acclavio, Lutz Straßburger, Renate A. Schmidt, Uli Sattler, Ruba Alassaf
Combinatorial Proofs for Constructive Modal Logic. AiML (2022)
Matteo Acclavio, Ross Horne, Lutz Straßburger
An Analytic Propositional Proof System on Graphs. Log. Methods Comput. Sci. 18 (4) (2022)
Matteo Acclavio, Ross Horne, Sjouke Mauw, Lutz Straßburger
A Graphical Proof Theory of Logical Time. FSCD (2022)
Matteo Acclavio
Exponentially Handsome Proof Nets and Their Normalization. CoRR (2021)
Matteo Acclavio, Giulio Guerrieri
A Deep Inference System for Differential Linear Logic. CoRR (2021)
Matteo Acclavio, Davide Catta, Lutz Straßburger
Towards a Denotational Semantics for Proofs in Constructive Modal Logic. CoRR (2021)
Matteo Acclavio, Davide Catta, Lutz Straßburger
Game Semantics for Constructive Modal Logic. TABLEAUX (2021)
Matteo Acclavio, Roberto Maieli
Generalized Connectives for Multiplicative Linear Logic. CSL (2020)
Matteo Acclavio, Ross Horne, Lutz Straßburger
An Analytic Propositional Proof System on Graphs. CoRR (2020)
Matteo Acclavio, Ross Horne, Lutz Straßburger
Logic Beyond Formulas: A Proof System on Graphs. LICS (2020)
Matteo Acclavio, Lutz Straßburger
On Combinatorial Proofs for Modal Logic. TABLEAUX (2019)
Matteo Acclavio, Lutz Straßburger
On Combinatorial Proofs for Logics of Relevance and Entailment. WoLLIC (2019)
Matteo Acclavio
Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics. J. Autom. Reason. 63 (4) (2019)
Matteo Acclavio, Lutz Straßburger
From Syntactic Proofs to Combinatorial Proofs. IJCAR (2018)
Matteo Acclavio
Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics. CoRR (2017)
Matteo Acclavio
Proof diagrams for multiplicative linear logic. LINEARITY (2016)