Disambiguation evidence for intuitionism via surface form

"intuitionistic logic"

Triples (6)

Triples where some other subject referred to this entity as "intuitionistic logic".

Gerhard Gentzen → influenced →
"intuitionistic logic"
↳ resolves to intuitionism
ⓘ
Truth and Other Enigmas → influencedBy →
"intuitionistic logic"
↳ resolves to intuitionism
ⓘ
Brouwer–Heyting–Kolmogorov interpretation → field →
"intuitionistic logic"
↳ resolves to intuitionism
ⓘ
intuitionism → associatedWith →
"intuitionistic logic"
↳ resolves to intuitionism
ⓘ
law of excluded middle → isRejectedIn →
"intuitionistic logic"
↳ resolves to intuitionism
ⓘ
Gentzen-style proof systems → appliesTo →
"intuitionistic logic"
↳ resolves to intuitionism
ⓘ