On the structure of quantal proposition systems

  title={On the structure of quantal proposition systems},
  author={Jeffrey Bub},
  journal={Foundations of Physics},
  • J. Bub
  • Published 1 September 1994
  • Mathematics
  • Foundations of Physics
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… 
How to interpret quantum mechanics
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
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
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
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
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
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
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
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
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.


On the Structure of Quantal Proposition Systems
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
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
  • Rob Clifton
  • Philosophy
    The 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
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
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
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.