logika intuicjonistyczna w języku angielskim

constructive logic▼noun

intuitionistic logic▼noun
a type of logic which rejects the axiom "law of excluded middle"