Uniform description of calculi for all t-norm logics | IEEE Conference Publication | IEEE Xplore