# On the structure of quantal proposition systems

@article{Bub1994OnTS, title={On the structure of quantal proposition systems}, author={Jeffrey Bub}, journal={Foundations of Physics}, year={1994}, volume={24}, pages={1261-1279} }

I define sublaltices of quantum propositions that can be taken as having determinate (but perhaps unknown) truth values for a given quantum state, in the sense that sufficiently many two-valued maps satisfying a Boolean homomorphism condition exist on each determinate sublattice to generate a Kolmogorov probability space for the probabilities defined by the slate. I show that these sublattices are maximal, subject to certain constraints, from which it follows easily that they are unique. I…

## 69 Citations

How to interpret quantum mechanics

- Philosophy
- 1994

I formulate the interpretation problem of quantum mechanics as the problem of identifying all possible maximal sublattices of quantum propositions that can be taken as simultaneously determinate,…

Quantum Logic in Intuitionistic Perspective

- MathematicsStud Logica
- 2002

From the introduction of the "missing" disjunctions in the lattice of properties of a physical system while inheriting the meet as a conjunction the authors obtain a complete Heyting algebra of propositions on physical properties.

QS 7 Complete Axiomatizations for Quantum Actions

- Philosophy
- 2005

We present two equivalent axiomatizations for a logic of quantum actions: one in terms of quantum transition systems, and the other in terms of quantum dynamic algebras. The main contribution of the…

Why modal interpretations of quantum mechanics must abandon classical reasoning about physical properties

- Philosophy
- 1995

Modal interpretations of quantum mechanics propose to solve the measurement problem by rejecting the orthodox view that in entangled states of a system which are nontrivial superpositions of an…

Probability Measures and Projections on Quantum Logics

- Mathematics, PhilosophyAdvances in Intelligent Systems and Computing
- 2019

The present paper is devoted to modelling of a probability measure of logical connectives on a quantum logic (QL), via a $G$-map, which is a special map on it. We follow the work in which the…

Making Sense of the Kochen‐Dieks “No‐Collapse” Interpretation of Quantum Mechanics Independent of the Measurement Problem

- Physics
- 1995

The quantum measurement problem is really the by-product of adopting a particular, rather conservative, view about the conditions necessary for an observable to possess a definite value. Because this…

Quantum from principles

- PhysicsArXiv
- 2015

The six principles characterize quantum theory as the theory of information that allows for maximal control of randomness in the Hilbert space framework.

Quantum mechanics in an entirely deterministic universe

- Physics
- 1994

It is argued that, according to the suggested interpretation of quantum mechanical probabilities, (1) the Bell inequalities are not equivalent with those inequalities derived by Pitowsky and others…

LQP: the dynamic logic of quantum information

- Computer ScienceMathematical Structures in Computer Science
- 2006

A dynamic logic formalism for reasoning about information flow in composite quantum systems, capable of expressing important features of quantum measurements and unitary evolutions of multi-partite states, as well as giving logical characterisations to various forms of entanglement.

## References

SHOWING 1-8 OF 8 REFERENCES

On the Structure of Quantal Proposition Systems

- Philosophy
- 1975

It is shown that the axiom of atomicity and the covering law can be justified on the basis of a new and more satisfactory notion of state and the existence of ideal measurements of the first kind.…

Measurement and “beables” in quantum mechanics

- Physics
- 1991

It is argued that the measurement problem reduces to the problem of modeling quasi-classical systems in a modified quantum mechanics with superselection rules. A measurement theorem is proved,…

Independently Motivating the Kochen—Dieks Modal Interpretation of Quantum Mechanics

- PhilosophyThe British Journal for the Philosophy of Science
- 1995

The distinguishing feature of ‘modal’ interpretations of quantum mechanics is their abandonment of the orthodox eigenstate–eigenvalue rule, which says that an observable possesses a definite value if…

The Problem of Hidden Variables in Quantum Mechanics

- Physics
- 1967

Forty years after the advent of quantum mechanics the problem of hidden variables, that is, the possibility of imbedding quantum theory into a classical theory, remains a controversial and obscure…

A SUGGESTED INTERPRETATION OF THE QUANTUM THEORY IN TERMS OF "HIDDEN" VARIABLES. II

- Physics
- 1952

In this paper, we shall show how the theory of measurements is to be understood from the point of view of a physical interpretation of the quantum theory in terms of hidden variables developed in a…

The Philosophy of Quantum Mechanics: An Interactive Interpretation

- Physics
- 1991

Theoretical measurements show clear trends in the number of quantum states and the properties of these states have changed over time, particularly in the case of joined systems.