Intuitionistic counterparts of finitely-valued logics | IEEE Conference Publication | IEEE Xplore