Virtual Logic: The Logic of Quantum Theory