適切さの論理
適切さの論理は、我々が普段使用している条件関係や含意関係、帰結関係の意味を古典論理における実質含意よりもより忠実に表現し、扱うことを目的として構築された論理である。
最初に提案された論理体系はアッカーマンによって提案されたΠ'である。アッカーマンは、新たに基本論理結合子として厳格含意を導入することで実質含意のパラドクスを排除した。アンダーソンとベルナップは、この論理体系Π'を再構築し、この体系と同等な体系である帰結関係の体系E(system E of entailment)を提案した。
また、Belnapは、実質含意よりも制限が強く、厳格含意よりも制限が弱い、含意結合子である相関含意(relevant implication)を提案し、それに基づき 相関含意の体系R(system R of relevant implication)を提案した。また、アンダーソンとベルナップによって体系T(system T of ticket entailment)が提案された。