Author | Mittelstaedt, Peter. author |
---|---|
Title | Quantum Logic [electronic resource] / by Peter Mittelstaedt |
Imprint | Dordrecht : Springer Netherlands, 1978 |
Connect to | http://dx.doi.org/10.1007/978-94-009-9871-1 |
Descript | VIII, 160 p. online resource |
1 / The Hilbert Space Formulation of Quantum Physics -- 1.1 The Hilbert Space -- 1.2 The Lattice of Subspaces of Hilbert Space -- 1.3 Projection Operators -- 1.4 States and Properties of a Physical System -- 2 / The Logical Interpretation of the Lattice Lq -- 2.1 The Quasimodular Lattice Lq -- 2.2 The Relation of Commensurability -- 2.3 The Material Quasi-implication -- 2.4 The Relation between Lattice Theory and Logic -- 3 / The Material Propositions of Quantum Physics -- 3.1 Elements of a Language of Quantum Physics -- 3.2 Argument-rules for Compound Propositions -- 3.3 Commensurability and Incommensurability -- 3.4 The Material Dialog-game -- 4 / The Calculus of Effective Quantum Logic -- 4.1 Formally True Propositions -- 4.2 Formal Dialogs with Material Commensurabilities -- 4.3 The Formal Dialog-game -- 4.4 The Calculus Qeff of Effective Quantum Logic -- 5 / The Lattice of Effective Quantum Logic -- 5.1 The Quasi-implicative Lattice Lqi -- 5.2 Properties of the Lattice Lqi -- 5.3 The Relation between Lqi and the Lattice Li -- 5.4 The Relation between Lqi and the Lattice Lq -- 6 / The Calculus of Full Quantum Logic -- 6.1 Value-definite Material Propositions -- 6.2 The Value-definiteness of Compound Propositions -- 6.3 The Extension of the Calculus Qeff -- 6.4 The Principle of Excluded Middle -- Concluding Remarks: Classical Logic and Quantum Logic