Interesting anti-classical purely logical (e.g., higher-order propositional) axioms – mathoverflow.net

There are a number of postulates that have been studied in constructive math that are anti-classical in the sense that they are demonstrably false in classical logic: for example, the postulate that ...