Automorphisms, negations and implication operators | Publicación