trustme.bro/r/…
✓ checked
trust me, bro:
here is the receipt.
the claim
There are exceptions to the principle of the excluded middle in logic
the verdict
SUPPORTED
the evidence backs this
refutedsupported
the weight of evidence
4 sources for · 0 against

Non-classical logical systems, such as intuitionistic logic, quantum logic, and certain paraconsistent or partial frameworks, explicitly reject or do not require the law of the excluded middle.

Evidence for · 4
1977 · cited by 136
Discusses modal logics based on weaker logics than classical logic, such as intuitionistic systems.
See more details
The analysis

The claim is a well-established fact in mathematical logic and philosophy: non-classical logics (such as intuitionistic logic and quantum logic) deliberately drop or reject the law of the excluded middle. Papers [2], [5], [8], and [11] provide direct theoretical support demonstrating that alternative logics exist and operate without this principle.

More for · 3
2009 · cited by 45
Explicitly demonstrates that the law of the excluded middle fails in certain quantum and intuitionistic logical frameworks.
1999 · cited by 22
Examines partial logics and systems where fundamental classical principles like bivalence fail.
2026 · cited by 0
Argues and provides theoretical modeling suggesting that non-standard logics, specifically lacking the law of the excluded middle, can apply to complex systems like the brain.
The paper trail · every fact has a biography
first checked31 Jul 2026
judged → SUPPORTED · 8831 Jul 2026
This receipt carries no identity, shared or not. Sharing publishes your connection to it, not your data.
Check your own claim
Challenge the receipt
trust me, bro: win the argument, pass the class, survive peer review.
This receipt is an automated verdict against our published method · not an opinion about any author or publication.
Terms · Privacy · How verdicts work · Dispute this receipt