Uniform notation of tableau rules for multiple-valued logics | IEEE Conference Publication | IEEE Xplore