Paraconsistent Double Negation That Can Simulate Classical Negation | IEEE Conference Publication | IEEE Xplore