English Explanatory Dictionary

intuitionistic logic

English dictionary entry

Meanings

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

Word forms

intuitionistic logic intuitionistic logics
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on I Russian dictionary Dahl dictionary