Construction of strong equality index from implication operators | Publicación