zbMATH — the first resource for mathematics

On ring-like structures induced by Mackey’s probability function. (English) Zbl 1056.81004
Summary: The aim of this paper is to show that the structure of the set \(L\) of experimental propositions induced by Mackey’s probability function \(p(A, \alpha, E)\) can be conveniently described and investigated in the framework of the theory of ring-like structures called generalized Boolean quasirings. With the help of only one axiom (the so-called extension axiom) a representation theorem for \(L\) is stated and proved. The operations \(\cdot\) and \(+\) generalizing the classical “and”-operation and the classical “exclusive or”-operation, respectively, are investigated. It is shown that under some natural assumptions the associativity of \(+\) implies the distributivity of \(L\) and that the unique solvability of the equations \(a+X=b\) is equivalent to the classicality of \(L\). A physical interpretation for the obtained results is given.

81P10 Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)
03G12 Quantum logic
06C15 Complemented lattices, orthocomplemented lattices and posets
Full Text: DOI
[1] Beltrametti, E.; Ma̧czyński, M., J. math. phys., 32, 1280-1286, (1991)
[2] Dorfer, G.; Dvurečenskij, A.; Länger, H., Math. slovaca, 46, 435-444, (1996)
[3] Dorninger, D., Tatra mt. math. publ., 15, 75-83, (1998)
[4] Dorninger, D.; Länger, H.; Ma̧czyński, M., Demonstrato math., 30, 215-232, (1997)
[5] Dorninger, D.; Länger, H.; Ma̧czyński, M., Österr. akad. wiss. sitzungsber. math.-naturw. kl. abt., II 206, 279-289, (1997)
[6] Kalmbach, G., Orthomodular lattices, (1983), Academic Press London · Zbl 0512.06011
[7] Länger, H., Tatra mt. math. publ., 15, 97-105, (1998)
[8] Mackey, G., The mathematical foundations of quantum mechanics, (1963), W. A. Benjamin Inc Reading, Massachusetts · Zbl 0114.44002
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.