Skolemization and Herbrand theorems for lattice-valued logics
scientific article; zbMATH DE number 7041828
scientific article