Relevance logic

Relevance logic, also called relevant logic, is a kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related. They may be viewed as a family of substructural or modal logics. (It is generally, but not universally, called relevant logic by British and, especially, Australian logicians, and relevance logic by American logicians.)

Relevance logic

Relevance logic, also called relevant logic, is a kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related. They may be viewed as a family of substructural or modal logics. (It is generally, but not universally, called relevant logic by British and, especially, Australian logicians, and relevance logic by American logicians.)