Characterization of the axiomatizable prenex fragments of first-order godel logics | IEEE Conference Publication | IEEE Xplore