Cut-Free Systems for Restricted Bi-Intuitionistic Logic and Its Connexive Extension | IEEE Conference Publication | IEEE Xplore