intuitionistic logic

English - English

Definition of intuitionistic logic in English English dictionary

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

Hyphenation

intuitionistic log·ic

Synonyms

constructivist logic

Antonyms

classical logic