Many-valued logics and the logic of the C programming language | IEEE Conference Publication | IEEE Xplore