Abstract
This paper develops a general language of event configurations to discuss and compare various modes of proposition formation. It is shown that any finite orthogonality space can be numerically encoded. This encoding is applied to show that the quasimanual of all orthogonal subsets of any finite point-determining orthogonality space may be decomposed into a union of manuals and that the logic of these quasimanuals may be regarded as a composite of interlocking associative orthoalgebras.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
J. Dacey, “Orthomodular spaces,” Ph.D. Thesis, University of Massachusetts, Amherst, Massachusetts, 1968.
D. Foulis, “Coupled physical systems,” to appear inFoundations of Physics.
D. Foulis, and C. Randall, “Empirical logic and tensor products,” inInterpretations and Foundations of Quantum Theory, H. Neuman, ed. (Bibliographisches Institute, Manheim, 1981).
D. Foulis, C. Randall, and C. Piron, “Realism, operationalism, and quantum mechanics,”Found. Phys. 13, 813–841 (1983).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Dacey, J.C. Arithmetic tools for quantum logic. Found Phys 20, 605–619 (1990). https://doi.org/10.1007/BF01883241
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01883241