4 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.LO2020★ 4 cited
Bouncing threads for infinitary and circular proofs
David Baelde, Amina Doumane, Denis Kuperberg +1
We generalize the validity criterion for the infinitary proof system of the multiplicative additive linear logic with fixed points. Our criterion is designed to take into account a…
cs.LO2011★ 1 cited
Intersection Logic in sequent calculus style
Simona Ronchi Della Rocca, Alexis Saurin, Yiorgos Stavrinos +1
The intersection type assignment system has been designed directly as deductive system for assigning formulae of the implicative and conjunctive fragment of the intuitionistic logi…