intuitionistic logic

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.

Translations

 * Dutch: intuïtionistische logica
 * Finnish: intuitionistinen logiikka
 * German: intuitionistische Logik
 * Icelandic: innsæisrökfræði
 * Polish: logika intuicjonistyczna
 * Romanian: logică intuiționistă