Note on resolution approximation of many-valued logics | IEEE Conference Publication | IEEE Xplore