Is quantum logic producing interesting/different mathematics?
Is it different from the intuitionist approach to mathematics? How?
Is quantum logic producing interesting/different mathematics?
Is it different from the intuitionist approach to mathematics? How?