Converse Ackermann property and constructive negation defined with a negation connective | Publicación