Text this: Implication operators on bounded posets of closed intervals