General logical expression of k-valued and mix-valued pseudo-logical functions | IEEE Conference Publication | IEEE Xplore