Disambiguation evidence for Brouwer–Heyting–Kolmogorov interpretation via surface form
"Brouwer–Heyting–Kolmogorov interpretation"
Triples (6)
Triples where some other subject referred to this entity
as "Brouwer–Heyting–Kolmogorov interpretation".
Luitzen Egbertus Jan Brouwer
→
notableFor
→
"Brouwer–Heyting–Kolmogorov interpretation"
ⓘ
↳ resolves to Brouwer–Heyting–Kolmogorov interpretation
Elements of Intuitionism
→
about
→
"Brouwer–Heyting–Kolmogorov interpretation"
ⓘ
↳ resolves to Brouwer–Heyting–Kolmogorov interpretation
Arend Heyting
→
contributedTo
→
"Brouwer–Heyting–Kolmogorov interpretation"
ⓘ
↳ resolves to Brouwer–Heyting–Kolmogorov interpretation
intuitionism
→
associatedWith
→
"Brouwer–Heyting–Kolmogorov interpretation"
ⓘ
↳ resolves to Brouwer–Heyting–Kolmogorov interpretation
Curry–Howard correspondence
→
relatedConcept
→
"Brouwer–Heyting–Kolmogorov interpretation"
ⓘ
↳ resolves to Brouwer–Heyting–Kolmogorov interpretation
Martin-Löf type theory
→
formalizes
→
"Brouwer–Heyting–Kolmogorov interpretation"
ⓘ
↳ resolves to Brouwer–Heyting–Kolmogorov interpretation