適切さの論理
適切さの論理(てきせつさのろんり)、あるいは相関論理(そうかんろんり)、関連性の論理(かんれんせいのろんり)、関連性論理(かんれんせいろんり)は、論理学のいかなる体系においても最も重要な論理結合子と考えられる「ならば」や推論の論理構造を再検討した論理体系である。英語では、オーストラリアの論理学者は Relevant logics と呼び、それ以外の英語圏の論理学者は Relevance logics と呼ぶ。