論理学のメモ。直観主義より強い論理を超直観主義論理（superintuitionistic logic）と呼び、その内で古典論理より弱いものを中間論理（intermediate logic）と呼ぶ。例えば ド・モルガン論理：直観主義命題論理（IPC） + 弱排中律（not-not-P or not-P）。…