Please enable javascript to use dictionary! Howto enable javascript?
intuitionistic logic▼(a type of logic which rejects the axiom "law of excluded middle")noun
↑