15 citations · 15 across the 2 of their papers we have counts for
2 papers
cs.LO2017
A Cointuitionistic Adjoint Logic
Harley Eades, Gianluigi Bellin
One leading question with respect to Bi-intuitionistic logic (BINT) is, what does BINT look like across the three arcs -- logic, typed -calculi, and category theory -- of the Cu…
cs.LO2014★ 15 cited
Categorical Proof Theory of Co-Intuitionistic Linear Logic
Gianluigi Bellin
To provide a categorical semantics for co-intuitionistic logic one has to face the fact, noted by Tristan Crolard, that the definition of co-exponents as adjuncts of coproducts doe…