9 citations · 18 across the 6 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…