Quantum set theory (QST) and topos quantum theory (TQT) are two long running projects in the mathematical foundations of quantum mechanics (QM) that share a great deal of conceptual and technical affinity. Most pertinently, both approaches attempt to resolve some of the conceptual difficulties surrounding QM by reformulating parts of the theory inside of nonclassical mathematical universes, albeit with very different internal logics. We call such mathematical universes, together with those mathematical and logical structures within them that are pertinent to the physical interpretation, ‘Q-worlds’. Here, we provide a unifying framework that allows us to (i) better understand the relationship between different Q-worlds, and (ii) define a general method for transferring concepts and results between TQT and QST, thereby significantly increasing the expressive power of both approaches. Along the way, we develop a novel connection to paraconsistent logic and introduce a new class of structures that have significant implications for recent work on paraconsistent set theory.

In 1981, Takeuti introduced quantum set theory by constructing a model of set theory based on quantum logic represented by the lattice of closed linear subspaces of a Hilbert space in a manner analogous to Boolean-valued models of set theory, and showed that appropriate counterparts of the axioms of Zermelo–Fraenkel set theory with the axiom of choice (ZFC) hold in the model. In this paper, we aim at unifying Takeuti’s model with Boolean-valued models by constructing models based on general complete orthomodular lattices, and generalizing the transfer principle in Boolean-valued models, which asserts that every theorem in ZFC set theory holds in the models, to a general form holding in every orthomodular-valued model. One of the central problems in this program is the well-known arbitrariness in choosing a binary operation for implication. To clarify what properties are required to obtain the generalized transfer principle, we introduce a class of binary operations extending the implication on Boolean logic, called generalized implications, including even nonpolynomially definable operations. We study the properties of those operations in detail and show that all of them admit the generalized transfer principle. Moreover, we determine all the polynomially definable operations for which the generalized transfer principle holds. This result allows us to abandon the Sasaki arrow originally assumed for Takeuti’s model and leads to a much more flexible approach to quantum set theory.

We prove that every for every complete lattice-ordered effect algebra E there exists an orthomodular lattice O(E) and a surjective full morphism øE: O(E) → E which preserves blocks in both directions: the (pre)imageofa block is always a block. Moreover, there is a 0, 1-lattice embedding : E → O(E).

Pseudoeffect (PE-) algebras generalize effect algebras by no longer being necessarily commutative. They are in certain cases representable as the unit interval of a unital po-group, for instance if they fulfil a certain Riesz property.

Several infinitary lattice properties and the countable Riesz interpolation property are studied for PE-algebras on the one hand and for po-groups on the other hand. We establish the exact relationships between the various conditions that are taken into account, and in particular, we examine how properties of a PE-algebra are related to the analogous properties of a representing po-group.

Let L be an orthomodular poset. A positive measure ξ on L is said to be weakly purely finitely additive if the zero measure is the only completely additive measure majorized by ξ. It was shown in [15] that, in an arbitrary orthomodular poset L, every positive measures μ is the sum v + ξ of a positive completely additive measure v and a weakly purely finitely additive measure ξ. We give sufficient conditions for this Yosida-Hewitt-type decomposition to be unique.

A positive measure λ on L is said to be filtering if every non-zero element p in L majorizes a non-zero element q on which λ vanishes. A filtering measure is weakly purely finitely additive. Filtering measures play a mediator role throughout these investigations since some of the aforementioned conditions are given in terms of these.

The results obtained here are then viewed in the context of Boolean lattices and applied to lattices of idempotents of non-associative JBW-algebras.