Intuitionistic logic

Noun

Word Frequency: 0.1

Definitions

1.NounA 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.

Synonyms

intuitionism intensional logic intuitionist peirce's law intensionality law of excluded middle law of the excluded middle linear logic logicism natural deduction positive logic mathematical logic

🔗 Find words with "intuitionistic logic" in A2Z Word Finder

The Daily Word NerdA new word, a puzzle, and a fun fact — free in your inbox every morning.

Free forever · unsubscribe anytime · all 14 newsletters

That email did not go through — please check it and try again.