関連性論理
$ A \vDash Bのとき，前提$ Aと結論$ Bで共通の命題変項を持つ
爆発律と排中律の両方が排除されている
Memo
正の関連性論理R+