intuitionistic logic love

intuitionistic logic

Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License

  • n. 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.

Etymologies

Sorry, no etymologies found.

Examples

Sorry, no example sentences found.

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.