5 citations · 8 across the 5 of their papers we have counts for
1 paper · 1 filter
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…