三重否定除去
古典論理
でも
直観主義論理
でも
成立する
直観主義論理でも成り立つ
参考
直観主義論理での否定の扱われ方#623d833d13a1580000021365
/takker/三重否定除去