高階論理におけるKuroda変換の研究

Kuroda変換は古典論理の式を直接的に直観主義論理の式に変換することができ、その変換された式は古典論理で等価である。