5 citations · 8 across the 5 of their papers we have counts for
5 papers
Proof Identity and Categorical Models of BV
Matteo Acclavio, Lutz Straßburger, Vladimir Zamdzhiev
BV-categories are a recent development that aims to give categorical semantics to proofs in the logic BV. However, due to the absence of a coherence theorem on one side and a well-…
Intuitionistic BV (Extended version)
Matteo Acclavio, Lutz Strassburger
We present the logic IBV, which is an intuitionistic version of BV, in the sense that its restriction to the MLL connectives is exactly IMLL, the intuitionistic version of MLL. For…
Canonicity of Proofs in Constructive Modal Logic
Matteo Acclavio, Davide Catta, Federico Olimpieri
In this paper we investigate the Curry-Howard correspondence for constructive modal logic in light of the gap between the proof equivalences enforced by the lambda calculi from the…
Towards a Denotational Semantics for Proofs in Constructive Modal Logic
Matteo Acclavio, Davide Catta, Lutz Straßburger
In this paper we provide two new semantics for proofs in the constructive modal logics CK and CD. The first semantics is given by extending the syntax of combinatorial proofs for p…
An Analytic Propositional Proof System on Graphs
Matteo Acclavio, Ross Horne, Lutz Straßburger
In this paper we present a proof system that operates on graphs instead of formulas. Starting from the well-known relationship between formulas and cographs, we drop the cograph-co…