Herbrand’s Theorem for prenex Gödel logic and its consequences for theorem proving (0)

by M Baaz, A Ciabattoni, C G Fermüller
Venue:Proceedings of LPAR’2001. Springer LNAI 2250