Normal forms for the one-variable fragment of Hajek's basic logic | IEEE Conference Publication | IEEE Xplore