Relevance logic

Relevance logic, also known as relevant logic, is a type of non-classical logic that seeks to address certain shortcomings of classical logic, especially concerning implications and entailment relationships. In classical logic, an implication (if \( P \), then \( Q \)) can be true even if \( P \) and \( Q \) are unrelated, as long as \( P \) is false or \( Q \) is true. This can lead to paradoxical results and irrelevant conclusions.