1.NounA kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related, and aiming to capture aspects of implication that are ignored by the "material implication" operator in classical truth-functional logic.