1 paper · 1 filter
Stefan Hetzl, Johannes Weiser
We study subsystems of open induction which are strongly connected to methods of automated inductive theorem proving. Specifically, we consider systems obtained from restricting in…