2 papers
cs.LO2026
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-…
cs.LO2026
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…