HomeServicesBlogDictionariesContactSpanish Course
Home › Dictionary › English › intuitionistic logic
← Back to search

Meaning of intuitionistic logic | Babel Free

Noun CEFR B2

Definitions

A type of logic which rejects the axiom law of excluded middle or, equivalently, the law of double negation and/or Peirce's law. It is the foundation of intuitionism.

Equivalents

Deutsch intuitionistische Logik
Íslenska innsæisrökfræði
Nederlands intuïtionistische logica

CEFR level

B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.
See all B2 English words →

See also

intuitionistically Intuitions Intuitive intuitive eating Intuitively intuitiveness

Learn this word in context

See intuitionistic logic used in real conversations inside our free language course.

Start Free Course

Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free