Herbrand Theorems and Skolemization for Prenex Fuzzy Logics.

Matthias Baaz, George Metcalfe

Browse the full CiE paper archive.