Polynomially graded logic I. A graded version of system T | IEEE Conference Publication | IEEE Xplore