# Is quantum logic producing interesting/different mathematics?

Is quantum logic producing interesting/different mathematics?

Is it different from the intuitionist approach to mathematics? How?

-
I'm not sure I understand the question. Quantum logic is a branch of mathematics, and it is different from other branches (that's why it has its own name), so in that sense, it is certainly producing interesting and different mathematics. –  Qiaochu Yuan Feb 26 '11 at 22:05
Why would you expect quantum logic to be the same as intuitionism? –  Grumpy Parsnip Feb 26 '11 at 23:26
@Qiaochu I was under the impression that if you change the laws of logic, a lot of proofs become invalid, and that makes different mathematics. @Jim From the little I know, quantum logic talks about prepositions that neither have true nor false value, which reminds me of the intuitionist approach. –  Uri Feb 27 '11 at 9:49
I don't think people use quantum logic that way, but I could be wrong. –  Qiaochu Yuan Feb 27 '11 at 12:22