Quantum Logic and the Histories Approach to Quantum Theory