BHK释义 在数理逻辑中直覺主義邏輯的布勞威爾海廷柯爾莫哥洛夫释义BrouwerHeytingKolmogorov interpretation或BHK释义是由魯伊茲布勞威爾阿蘭德海廷和独立的由安德雷柯爾莫哥洛夫提出的它有时也叫做可实现性释义因为有关于斯蒂芬科尔克莱尼的可实现性理论