Related papers: Topos-Based Logic for Quantum Systems and Bi-Heyti…
It is shown that quantum mechanics is noncontextual if quantum properties are represented by subspaces of the quantum Hilbert space (as proposed by von Neumann) rather than by hidden variables. In particular, a measurement using an…
Weaver has recently defined the notion of a quantum relation on a von Neumann algebra. We demonstrate that the corresponding notion of a quantum function between two von Neumann algebras coincides with that of a normal unital…
For a two-particle two-state system, sets of compatible propositions exist for which quantum mechanics and noncontextual hidden-variable theories make conflicting predictions for every individual system whatever its quantum state. This…
We assume that M is a phase space and H an Hilbert space yielded by a quantization scheme. In this paper we consider the set of all "experimental propositions" of M and we look for a model of quantum logic in relation to the quantization of…
Decoherence may not solve all of the measurement problems of quantum mechanics. It is proposed that a solution to these problems may be to allow that superpositions describe physically real systems in the following sense. Each quantum…
Hamiltonian mechanics describes the evolution of a system through its Hamiltonian. The Hamiltonian typically also represents the energy observable, a Noether-conserved quantity associated with the time-invariance of the law of evolution. In…
We give a tutorial exposition of the analogue of the filtering equation for quantum systems focusing on the quantum probabilistic framework and developing the ideas from the classical theory. Quantum covariances and conditional expectations…
We consider Hilbert's problem of the axioms of Physics at a qualitative or conceptual level. This issue is more pressing than ever as we seek to understand how both General Relativity and quantum theory could emerge from some deeper theory…
We introduce quantum monadic and quantum cylindric algebras. These are adaptations to the quantum setting of the monadic algebras of Halmos, and cylindric algebras of Henkin, Monk and Tarski, that are used in algebraic treatments of…
Algebraic logic studies algebraic theories related to proposition and first-order logic. A new algebraic approach to first-order logic is sketched in this paper. We introduce the notion of a quantifier theory, which is a functor from the…
The concept of a quantum algebra is made easy through the investigation of the prototype algebras $u_{qp}(2)$, $su_q(2)$ and $u_{qp}(1,1)$. The latter quantum algebras are introduced as deformations of the corresponding Lie algebras~; this…
In this paper, we extend the standard formalism of quantum mechanics to a quantum theory for a total system including one internal measuring apparatus. The internality of the measuring apparatus implies that different decomposition of a…
We propose a 2-categorical formalism for describing classical information, quantum systems, and their interactions, based on the principle that classical information can be encoded as correlations between quantum systems. Applying this in…
We define a "quantum relation" on a von Neumann algebra M \subset B(H) to be a weak* closed operator bimodule over its commutant M'. Although this definition is framed in terms of a particular representation of M, it is effectively…
Some notes about quantum physics, an interpretation if one wishes, are put forward, insisting on `closely following the mathematics/formalism, the `nuts and bolts of what quantum physics says'. These, basically well-known, issues seem to…
We take a fresh look at the geometrization of logic using the recently developed tools of `quantum Riemannian geometry' applied in the digital case over the field $\Bbb F_2=\{0,1\}$, extending de Morgan duality to this context of…
An introduction to some basic ideas of the author's "quantum cybernetics" is given, which depicts waves and "particles" as mutually dependent system components, thus defining "organizationally closed systems" characterized by a fundamental…
In quantum logic, i.e., within the structure of the Hilbert lattice imposed on all closed linear subspaces of a Hilbert space, the assignment of truth values to quantum propositions (i.e., experimentally verifiable propositions relating to…
We show how quantum mechanics can be understood as a space-time theory provided that its spatial continuum is modelled by a variable real number (qrumber) continuum. Such a continuum can be constructed using only standard Hilbert space…
In the paper, the idea of describing not-yet-verified properties of quantum objects with logical many-valuedness is scrutinized. As it is argued, to promote such an idea, the following two foundational problems of many-valued quantum logic…