Intuitionistic

Wiktionary, Creative Commons Attribution/Share-Alike License
  • adjective. Dealing strictly in constructive proofs, abstaining from proof by contradiction.
  • Word Usage
    "That is because in intuitionistic logic the quantifier exchange rule,"