|
|
Definition of Intuitionistic logic
1. Noun. (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. ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Intuitionistic Logic
Other Resources:
