9 citations · 26 across the 9 of their papers we have counts for
1 paper · 1 filter
José Espírito Santo, Ralph Matthes, Luís Pinto
We propose to study proof search from a coinductive point of view. In this paper, we consider intuitionistic logic and a focused system based on Herbelin's LJT for the implicationa…