A constructive negation for logics including TW+ | Publicación