Abstract:In quantum logic, there is a well-known arbitrariness in choosing a binary operation for conditionals. We currently have three candidates: the Sasaki conditional, the contrapositive Sasaki conditional, and the relevance conditional. A fundamental problem is to show how the form of the conditional follows from an analysis of experimental concepts in quantum theory. Here, we attempt such an analysis through quantum set theory. For each of the above conditionals, we previously introduced an interpretation of quantum set theory, a quantum logical truth value assignment to every set-theoretical statement, that satisfies both the full forms of De Morgan's laws and the transfer principle. In the present study, we explore the structure of the internal reals based on the new interpretations with different conditionals. We show that the externally defined set of the internal reals is identical for each choice among the above three conditionals, and that for the logic represented by a projection lattice on a Hilbert space, the internal reals are in one-to-one correspondence with the self-adjoint operators (or equivalently, quantum observables) affiliated with the von Neumann algebra generated by the logic. Moreover, we show that the truth values for their equality are also irrespective of the choice among the conditionals. Interestingly, however, the truth values for the order relation significantly depend on the underlying conditionals, whereas the order relation holds with the full truth value if and only if their corresponding self-adjoint operators satisfy Olson's spectral order relation irrespective of the choice of the conditional. We describe the difference of the interpretations of the order relation for two internal reals in terms of the order relation, well defined in quantum mechanics, of outcomes from the successive projective measurements of the corresponding two quantum observables.

Spectral Representation of Infimum of Bounded Quantum Observables

On Supremum of Bounded Quantum Observable

Measures Defined on Quantum Logics of Sets

Quantum-Logics-Valued Measure Convergence Theorem

Uncertainty Regions of Observables and State-Independent Uncertainty Relations

Universal Upper Bound for the Holevo Information Induced by a Quantum Operation

Order Topology Orthosummability in Quantum Logics

Entropic partial orderings of quantum measurements

A Universal Quantum Certainty Relation for Arbitrary Number of Observables

Extreme quantum states and processes, and extreme points of general spectrahedra in finite dimensional algebras

Two Poorly Measured Quantum Observables as a Complete Set of Commuting Observables

Proof of a Lower Bound for Bipartite Concurrence Via Equivalence to an Observable Entanglement Measure

Quantum set theory: Equality and order of internal reals defined through different quantum conditionals

Quantum logics close to Boolean algebras

Bounds on the smallest sets of quantum states with special quantum nonlocality

Post-processing minimal joint observables

inf(M \ L)=3

Spectra of Cantor measures

Entropic Quantum Central Limit Theorem and Quantum Inverse Sumset Theorem

Quantum Instruments and Conditioned Observables

Observable Estimation of Entanglement for Arbitrary Finite-Dimensional Mixed States