intuitionistic logic
intuitionistic logic · intuitionistic logics
intuitionistische Logik
A type of logic which rejects the axiom law of excluded middle or, equivalently, the…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.
Meaning
1 sensesA 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.
intuitionistische Logik
Translations
2 languagesDeutsch
By meaning 1
a type of logic which rejects the axiom "law of excluded middle":
Forms
plural: intuitionistic logics| Singular | intuitionistic logic |
|---|---|
| Plural | intuitionistic logics |
regular