7 citations · 23 across the 18 of their papers we have counts for
1 paper · 2 filters
Stefan Hetzl, Johannes Weiser
We study subsystems of open induction obtained from restricting induction to atoms, literals, clauses, and dual clauses. We obtain an almost complete picture of the relationships b…