On two types of discrete implications | Publicación