Converse Ackermann Croperty and semiclassical negation | Publicación