Abstract
Orthologic and orthomodular quantum logic are examples of total logics: their language is syntactically closed under the logical connectives and any molecular sentence always has a meaning both in the algebraic and in the Kripkean semantics. We will now investigate a form of quantum logic (first proposed by Kochen and Specker (1965b)) based on a different idea. From the semantic point of view, the crucial relation will be represented by a compatibility relation, that may hold between the meanings of two sentences. As expected, the intended physical interpretation of the compatibility relation will be the following: two sentences α and β will have compatible meanings iff α and β can be simultaneously tested.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Dalla Chiara, M., Giuntini, R., Greechie, R. (2004). Partial classical logic, the Lindenbaum property and the hidden variable problem. In: Reasoning in Quantum Theory. Trends in Logic, vol 22. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0526-4_13
Download citation
DOI: https://doi.org/10.1007/978-94-017-0526-4_13
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-6562-9
Online ISBN: 978-94-017-0526-4
eBook Packages: Springer Book Archive