3D implication logic: Preliminary results | IEEE Conference Publication | IEEE Xplore