ByNobleID
    Generalized convex combination of implications on bounded lattices | NobleID