33 citations · 67 across the 9 of their papers we have counts for
1 paper · 1 filter
Ulrich Berger, Hideki Tsuiki
We study the system IFP of intuitionistic fixed point logic, an extension of intuitionistic first-order logic by strictly positive inductive and coinductive definitions. We define…