Matteo Acclavio

32 papers A* 1A 1B 8C 2Journal 14Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Probabilistic Linear Logic Programming with an application to Bayesian Networks computations.
CoRR
Matteo Acclavio, Roberto Maieli
2025 J jnl
Formulas as Processes, Deadlock-Freedom as Choreographies (Extended Version).
CoRR
Matteo Acclavio, Giulia Manara, Fabrizio Montesi
2025 — conf
Formulas as Processes, Deadlock-Freedom as Choreographies.
ESOP (1)
Matteo Acclavio, Giulia Manara, Fabrizio Montesi
2025 J jnl
Intuitionistic BV (Extended version).
CoRR
Matteo Acclavio, Lutz Straßburger
2025 B conf
Intuitionistic BV.
TABLEAUX
Matteo Acclavio, Lutz Straßburger
2024 B conf
Infinitary Cut-Elimination via Finite Approximations.
CSL
Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri
2024 J jnl
Non-wellfounded parsimonious proofs and non-uniform complexity.
CoRR
Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri
2024 J jnl
On Propositional Dynamic Logic and Concurrency.
CoRR
Matteo Acclavio, Fabrizio Montesi, Marco Peressotti
2024 J jnl
Proof Nets for the π-Calculus.
CoRR
Matteo Acclavio, Giulia Manara
2024 — conf
Sequent Systems on Undirected Graphs.
IJCAR (2)
Matteo Acclavio
2023 J jnl
Canonicity in Modal Lambda Calculus.
CoRR
Matteo Acclavio, Davide Catta, Federico Olimpieri
2023 B conf
Canonicity of Proofs in Constructive Modal Logic.
TABLEAUX
Matteo Acclavio, Davide Catta, Federico Olimpieri
2023 J jnl
Graphical Proof Theory I: Multiplicative Linear Logic Beyond Cographs.
CoRR
Matteo Acclavio
2023 J jnl
Infinitary cut-elimination via finite approximations.
CoRR
Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri
2023 — conf
Logic Programming with Multiplicative Structures.
DCM
Matteo Acclavio, Roberto Maieli
2023 C conf
Lorenzen-Style Strategies as Proof-Search Strategies.
EUMAS
Matteo Acclavio, Davide Catta
2022 B conf
A Graphical Proof Theory of Logical Time.
FSCD
Matteo Acclavio, Ross Horne, Sjouke Mauw, Lutz Straßburger
2022 J jnl
An Analytic Propositional Proof System on Graphs.
Log. Methods Comput. Sci.
Matteo Acclavio, Ross Horne, Lutz Straßburger
2022 B conf
Combinatorial Proofs for Constructive Modal Logic.
AiML
Matteo Acclavio, Lutz Straßburger
2021 B conf
Game Semantics for Constructive Modal Logic.
TABLEAUX
Matteo Acclavio, Davide Catta, Lutz Straßburger
2021 J jnl
Towards a Denotational Semantics for Proofs in Constructive Modal Logic.
CoRR
Matteo Acclavio, Davide Catta, Lutz Straßburger
2020 — conf
A Deep Inference System for Differential Linear Logic.
Linearity&TLLA@IJCAR-FSCD
Matteo Acclavio, Giulio Guerrieri
2020 J jnl
An Analytic Propositional Proof System on Graphs.
CoRR
Matteo Acclavio, Ross Horne, Lutz Straßburger
2020 — conf
Exponentially Handsome Proof Nets and Their Normalization.
Linearity&TLLA@IJCAR-FSCD
Matteo Acclavio
2020 B conf
Generalized Connectives for Multiplicative Linear Logic.
CSL
Matteo Acclavio, Roberto Maieli
2020 A* conf
Logic Beyond Formulas: A Proof System on Graphs.
LICS
Matteo Acclavio, Ross Horne, Lutz Straßburger
2019 C conf
On Combinatorial Proofs for Logics of Relevance and Entailment.
WoLLIC
Matteo Acclavio, Lutz Straßburger
2019 B conf
On Combinatorial Proofs for Modal Logic.
TABLEAUX
Matteo Acclavio, Lutz Straßburger
2019 J jnl
Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics.
J. Autom. Reason.
Matteo Acclavio
2018 A conf
From Syntactic Proofs to Combinatorial Proofs.
IJCAR
Matteo Acclavio, Lutz Straßburger
2017 J jnl
Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics.
CoRR
Matteo Acclavio
2016 — conf
Proof diagrams for multiplicative linear logic.
LINEARITY
Matteo Acclavio