Dictionary

intuitionistic logic en · NOUN

Meanings

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.

Forms

Coordinates

paraconsistent logic · classical logic

Hypernyms

paracomplete logic · constructive logic · non-classical logic

Translations (6)

de intuitionistische Logik (a type of logic which rejects the axiom "law of excluded middle") · nl intuïtionistische logica (a type of logic which rejects the axiom "law of excluded middle") · is innsæisrökfræði (a type of logic which rejects the axiom "law of excluded middle") · pl logika intuicjonistyczna (a type of logic which rejects the axiom "law of excluded middle") · ro logică intuiționistă (a type of logic which rejects the axiom "law of excluded middle") · fi intuitionistinen logiikka (a type of logic which rejects the axiom "law of excluded middle")