BHK釋義

在數理邏輯中 ， 直覺主義邏輯的布勞威爾 - 海廷 - 柯爾莫哥洛夫釋義 （ Brouwer – Heyting – Kolmogorov interpretation ） 或BHK釋義是由魯伊茲 · 布勞威爾 、 阿蘭德 · 海廷和獨立的由安德雷 · 柯爾莫哥洛夫提出的 。 它有時也叫做可實現性釋義 ， 因爲有關於斯蒂芬 · 科爾 · 克萊尼的可實現性理論 。