Logic-type Decision Implication