非古典論理
Aと¬Aから⊥を導けない。
なお、古典論理や直観主義論理のシークエント計算による定式化において、構造規則を制限することによって得られる論理を部分構造論理とよび、線形論理、適切さの論理や、ウカシェヴィチの多値論理が含まれる。
別名 : 相関論理、関連性の論理、関連性論理
「1+1=3なら宇宙人がいる」のような命題を真とは考えない論理。