非古典論理
排中律を認めない。