• Definition for "intuitionistic logic"
• a kind of logic which denies the axiom…
• Synonym for "intuitionistic logic"
• constructivist logic
• Antonym for "intuitionistic logic"
• classical logic

# intuitionistic logic definition

• noun:
• a kind of logic which denies the axiom law of omitted middle or, equivalently, regulations of double negation and/or Peirce's legislation. It will be the first step toward intuitionism.