Definitions
Wiktionary
- n. 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.
Examples
Sorry, no example sentences found.
Lists
‘intuitionistic logic’ hasn't been added to any lists yet.
Tweets
Looking for tweets for intuitionistic logic.
Comments
No comments yet...
Log in or sign up to get involved in the conversation. It's quick and easy.