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.

Related Sources

  • Definition for "intuitionistic logic"
    • a kind of logic which denies the axiom…
    • View More
  • Synonym for "intuitionistic logic"
  • Antonym for "intuitionistic logic"
29 votes

How would you define intuitionistic logic?

All the definitions on AZdictionary were written by people just like you. Now's your chance to add your own!