intuitionistic logic

English

Noun

intuitionistic logic (plural intuitionistic logics)

1. (mathematics, logic) 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.

Hypernyms

• constructive logic
• non-classical logic
• paracomplete logic

Coordinate terms

• classical logic
• paraconsistent logic

Translations

a type of logic which rejects the axiom "law of excluded middle"

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