Definition of "intuitionistic" [intuitionistic]

• Dealing strictly in constructive proofs, abstaining from proof by contradiction. (adjective)

Wiktionary.org : Text is available under the Creative Commons Attribution-ShareAlike License

• "That is because in intuitionistic logic the quantifier exchange rule,"
• "Owing to a verificationist (or constructivist) reading of negation and existential quantification, intuitionistic logic validates neither the elimination of double negation,"
• "Williamson (1982) argues that Fitch's result is not a refutation of anti-realism, but rather a reason for the anti-realist to accept intuitionistic logic."