Cut Elimination for Gdel Logic with an Operator Adding a Constant.

Juan P. Aguilera, Matthias Baaz

Browse the full WoLLIC paper archive.