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,"
Etymologically Related
intuition
Form
intuitionistic logic