Matteo Acclavio

Available identifiers

zbMath Open acclavio.matteoDBLP182/1948WikidataQ102608090 ScholiaQ102608090MaRDI QIDQ1799108

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5884933	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
https://portal.mardi4nfdi.de/entity/Q5014804	2021-12-08	Paper
Towards a Denotational Semantics for Proofs in Constructive Modal Logic	2021-04-19	Paper
Logic Beyond Formulas	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Matteo Acclavio