Abstract
An attempt of syntactical reconstruction of a logical counterpart of algebraic formulation of quantum theory is done (cf. [11]). It includes R. Goldblatt’s orthologic [6] as the two-valued case. An axiomatization of such quantum logic of observables (QLO) along with the set-theoretical semantics is proposed and soundness and completeness are proved. Also a normed quantum logic of observables (NQLO) is yielded. Exploiting von Wright’s temporal operation two systems of temporal quantum logic of observables (TQLO and TNQLO respectively) are obtained for which soundness and completeness is proved. In conclusion, some perspectives for such an approach are considered.
This is a preview of subscription content, log in via an institution to check access.
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
N.D. Belnap, T.B. Steel: The Logic of Questions and Answers (Yale University Press, New Haven, London 1976 )
G. Birkhoff, J. v. Neumann: ‘The Logic of Quantum Mechanics’. Ann. of Math. 37 (1936) pp. 823–843
C.C. Chang: ‘Logic With Positive and Negative Truth Values’. Acta Phil. Fennica Fasc. XVI (1963) pp. 19–39
C.C. Chang, H.J. Keisler: Continuous Model Theory ( Princeton University Press, Princeton 1966 )
G.G. Emch: Algebraic Methods in Statistical Mechanics and Quantum Field Theory ( Wiley-Interscience, New York 1972 )
R.I. Goldblatt: ‘Semantic Analysis of Orthologic’. Journal of Philosophical Logic 3 1–2 (1974) pp. 19–35
R.I. Goldblatt: ‘The Stone Space of an Ortholattice’. Bull. London. Math. Soc. 7 1 (1975) pp. 45–48
G.G. Mackey: The Mathematical Foundations of Quantum Mechanics (W.A. Benjamin, New York 1963 )
V.L. Vasyukov: `Quantum Logic of Time’. In: Logical Investigations ( Proceedings of the Scientific-Research Seminar on Logic of the Institute of Philosophy USSR Academy of Sciences, Moscow 1983 ) pp. 93–102 (in Russian)
V.L. Vasyukov: `Complex-valued Logics or How to Regard Context in Logical Systems’. In: Non-Standard Semantics for Non-Classical Logics ( Proceedings of the Scientific-Research Seminar on Logic of the Institute of Philosophy USSR Academy of Sciences, Moscow 1987 ) pp. 15–38 (in Russian)
V.L. Vasyukov: `A Quantum Logic of Observables: Reconstruction and Semantic Analysis’. In: A Syntactic and Semantic Investigations of Non-Extensional Logics ed. by V.A. Smirnov ( Nauka, Moscow 1989 ) pp. 120–169 (in Russian)
V.L. Vasyukov: The Completeness of the Factor Semantics for Lukasiewicz’s Infinite-valued Logics. Studia Logica 52 1 (1993) pp. 143–167
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Vasyukov, V.L. (2004). From Semantics to Syntax: Quantum Logic of Observables. In: Weingartner, P. (eds) Alternative Logics. Do Sciences Need Them?. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-05679-0_20
Download citation
DOI: https://doi.org/10.1007/978-3-662-05679-0_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-07391-5
Online ISBN: 978-3-662-05679-0
eBook Packages: Springer Book Archive