Binary operators and connective rules | IEEE Conference Publication | IEEE Xplore