Quantum Probability Theory and Non-Boolean Logic