logika intuicjonistyczna bedeutet auf Englisch

constructive logic▼noun

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