Abstract
Sequential quantum logic is an extension of the well-known system of usual quantum logic 8 to sequentially connected sentences. The usual quantum logic establishes the implication relation between logically connected quantum mechanical sentences. These sentences can be interpreted by means of yes-no experiments (in the sense of Jauch and Piron) as tests for elementary propositions and by means of dialogic proof procedures for compound propositions.11 Sequentially connected sentences (also called sequential sentences) exceed the class of logically connected sentences. They are interpreted by means of dialogic proof procedures which are more fundamental than the proof procedures for logically connected propositions. A detailed investigation of sequential sentences in the language of quantum physics can be found in14.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
E.B. Davies and J. Lewis, An operational approach to quantum probability, Commun. Math. Phys. 17 (1970), pp. 239–260.
E.B. Davies, “Quantum Theory of Open Systems”, Academic Press, New York (1976).
D. Foulis, Baer *-semigroups, Proc. Amer. Math. Soc. 11 (1960), pp. 648-654. Reprinted in “The Logico-Algebraic Approach to Quantum Mechanics”, C.A. Hooker ed., Reidel, Dordrecht (1975).
S. Gudder, Representations of Baer *-semigroups and quantum logics in Hilbert space, (in this volume).
A. Hartkamper and H. Neumann (eds.), “Foundations of Quantum Mechanics and Ordered Linear Spaces”, Springer Verlag, Berlin (1974).
G. Ludwig, A theoretical description of single microsystems, in “The Uncertainty Principle and Foundations of Quantum Mechanics”, John Wiley, New York (1977).
P. Mittelstaedt, “Philosophical Problems of Modern Physics”, Reidel, Dordrecht (1976).
P. Mittelstaedt, “Quantum Logic”, Reidel, Dordrecht (1978).
J. Pool, Baer *-semigroups and the logic of quantum mechanics, Comm. Math. Phys. 9 (1968), pp. 118–141. Reprinted in “The Logico-Algebraic Approach to Quantum Mechanics”, C.A. Hooker ed., Reidel, Dordrecht (1975), pp. 365–394.
C.H. Randall and D.J. Foulis, Operational approach to quantum mechanics, in “Physical Theory as Logico-Operational Structure”, C.A. Hooker ed., Reidel, Dordrecht (1979), pp. 167–201.
E.-W. Stachow, Completeness of quantum logic, J. Philos. Logic 5 (1976), pp. 237-280. Reprinted m “Physical Theory as Logico-Operational Structure”, C.A. Hooker ed., Reidel, Dordrecht (1979).
E.-W. Stachow, Quantum logical calculi and lattice structures, J. Philos. Logic 7 (1978), pp. 347–386. Reprinted in “Physical Theory as Logico-Operational Structure”, C.A. Hooker ed., Reidel, Dordrecht (1979), pp. 245–284.
E.-W. Stachow, On a game-theoretic approach to a scientific language, “Proceedings of the 6th Meeting of the Philosophy of Science Association, Vol. 2”, (1979).
E.-W. Stachow, On the logical foundation of quantum mechanics. Int. J. Theor. Phys. (1980), pp. 251–304.
E.-W. Stachow, Der quantenlogische Wahrscheinlichkeitskalkül, in “Grundlagenproblerne der modernen Physik”, J. Nitsch et al. eds, B.I.-Wissenschaftsverlag. Bibliographisches Institut, Manheim (1980).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1981 Plenum Press, New York
About this chapter
Cite this chapter
Stachow, EW. (1981). Sequential Quantum Logic. In: Beltrametti, E.G., van Fraassen, B.C. (eds) Current Issues in Quantum Logic. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-3228-2_13
Download citation
DOI: https://doi.org/10.1007/978-1-4613-3228-2_13
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-3230-5
Online ISBN: 978-1-4613-3228-2
eBook Packages: Springer Book Archive