Disambiguation evidence for Brouwer–Heyting logic via surface form

"intuitionistic logic"

Triples (4)

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

Curry–Howard correspondence → appliesTo →
"intuitionistic logic"
↳ resolves to Brouwer–Heyting logic
ⓘ
Gerhard Gentzen → influenced →
"intuitionistic logic"
↳ resolves to Brouwer–Heyting logic
ⓘ
linked to: Gentzen
Untersuchungen über das logische Schließen → logicSystemType →
"intuitionistic logic"
↳ resolves to Brouwer–Heyting logic
ⓘ
Negation → usedIn →
"intuitionistic logic"
↳ resolves to Brouwer–Heyting logic
ⓘ