The logical role of the four-valued bilattice | IEEE Conference Publication | IEEE Xplore