4 citations · 23 across the 11 of their papers we have counts for
1 paper · 2 filters
Jan A. Bergstra, Inge Bethke
We apply a paraconsistent logic to reason about fractions.