Matteo Acclavio

MaRDI QIDQ1799108zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Infinitary cut-elimination via finite approximations	2026-02-19	Paper
Intuitionistic BV	2026-02-10	Paper
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 Logical Methods in Computer Science	2023-01-09	Paper
Game semantics for constructive modal logic	2022-05-25	Paper
Proof diagrams for multiplicative linear logic	2021-12-08	Paper
Proof diagrams for multiplicative linear logic (available as arXiv preprint)	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 Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science	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 Journal of Automated Reasoning	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

Research outcomes over time

This page was built for person: Matteo Acclavio