Matteo Acclavio

Available identifiers

Publication	Date of Publication	Type
Exponentially handsome proof nets and their normalization	2025-01-06	Paper
A deep inference system for differential linear logic	2025-01-06	Paper
A graphical proof theory of logical time	2024-05-27	Paper
Canonicity of proofs in constructive modal logic	2024-05-17	Paper
Combinatorial proofs for constructive modal logic	2023-03-24	Paper
Generalized connectives for multiplicative linear logic	2023-02-07	Paper
An Analytic Propositional Proof System on Graphs	2023-01-09	Paper
Game semantics for constructive modal logic	2022-05-25	Paper
Proof diagrams for multiplicative linear logic	2021-12-08	Paper
Towards a Denotational Semantics for Proofs in Constructive Modal Logic	2021-04-19	Paper
Logic beyond formulas: a proof system on graphs	2021-01-21	Paper
On combinatorial proofs for modal logic	2020-05-14	Paper
On combinatorial proofs for logics of relevance and entailment	2020-03-04	Paper
Proof diagrams for multiplicative linear logic: syntax and semantics	2019-10-25	Paper
From syntactic proofs to combinatorial proofs	2018-10-18	Paper
A Constructive Proof of Coherence for Symmetric Monoidal Categories Using Rewriting	2016-06-06	Paper

This page was built for person: Matteo Acclavio