Cut Elimination for First Order Gdel Logic by Hyperclause Resolution.

Matthias Baaz, Agata Ciabattoni, Christian G. Fermller

Browse the full LPAR paper archive.