| 18832 | Mathematical statements and entities that result from an infinite process must lack a truth-value [Dummett] |
| 18073 | Dummett says classical logic rests on meaning as truth, while intuitionist logic rests on assertability [Dummett, by Kitcher] |
| 18122 | Classical interdefinitions of logical constants and quantifiers is impossible in intuitionism [Bostock] |
| 18074 | Intuitionists rely on assertability instead of truth, but assertability relies on truth [Kitcher] |
| 15430 | Is classical logic a part of intuitionist logic, or vice versa? [Burgess] |
| 15431 | It is still unsettled whether standard intuitionist logic is complete [Burgess] |
| 13715 | You can employ intuitionist logic without intuitionism about mathematics [Sider] |
| 18790 | Intuitionism as natural deduction has no rule for negation [Mares] |
| 18789 | Intuitionist logic looks best as natural deduction [Mares] |
| 13249 | (∀x)(A v B) |- (∀x)A v (∃x)B) is valid in classical logic but invalid intuitionistically [Beall/Restall] |
| 8708 | Double negation elimination is not valid in intuitionist logic [Friend] |
| 17926 | Rejecting double negation elimination undermines reductio proofs [Colyvan] |
| 17925 | Showing a disproof is impossible is not a proof, so don't eliminate double negation [Colyvan] |
| 18798 | It is the second-order part of intuitionistic logic which actually negates some classical theorems [Rumfitt] |
| 18799 | Intuitionists can accept Double Negation Elimination for decidable propositions [Rumfitt] |