In mathematical logic, the Brouwer–Heyting–Kolmogorov interpretation, or BHK interpretation, of intuitionistic logic was proposed by L. E. J. Brouwer, Arend Heyting and independently by Andrey Kolmogorov. It is also sometimes called the realizability interpretation, because of the connection with the realizability theory of Stephen Kleene.

PropertyValue
dbpprop:abstract
  • In mathematical logic, the Brouwer–Heyting–Kolmogorov interpretation, or BHK interpretation, of intuitionistic logic was proposed by L. E. J. Brouwer, Arend Heyting and independently by Andrey Kolmogorov. It is also sometimes called the realizability interpretation, because of the connection with the realizability theory of Stephen Kleene.
  • 在数理逻辑中，直觉逻辑的 Brouwer-Heyting-Kolmogorov 释义或 BHK 释义是由 L. E. J. Brouwer、Arend Heyting 和独立的由安德雷·柯爾莫哥洛夫提出的。它有时也叫做可实现性释义，因为有关于斯蒂芬·科尔·克莱尼的可实现性理论。
rdfs:comment
  • In mathematical logic, the Brouwer–Heyting–Kolmogorov interpretation, or BHK interpretation, of intuitionistic logic was proposed by L. E. J. Brouwer, Arend Heyting and independently by Andrey Kolmogorov. It is also sometimes called the realizability interpretation, because of the connection with the realizability theory of Stephen Kleene.
  • 在数理逻辑中，直觉逻辑的 Brouwer-Heyting-Kolmogorov 释义或 BHK 释义是由 L. E. J. Brouwer、Arend Heyting 和独立的由安德雷·柯爾莫哥洛夫提出的。它有时也叫做可实现性释义，因为有关于斯蒂芬·科尔·克莱尼的可实现性理论。
rdfs:label
  • Brouwer–Heyting–Kolmogorov interpretation
  • BHK释义
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of