Related papers: Compositional Quantum Logic
We provide a framework for compositional and iterative design and verification of systems with quantitative information, such as rewards, time or energy. It is based on disjunctive modal transition systems where we allow actions to bear…
In arXiv: math.LO/0011208 we proposed the {\sl intuitionistic or disjunctive representation of quantum logic}, i.e., a representation of the property lattice of physical systems as a complete Heyting algebra of logical propositions on these…
We have proposed in several recent papers a critical view of some parts of quantum mechanics (QM) that is methodologically unusual because it rests on analysing the language of QM by using some elementary but fundamental tools of…
Recently there has been much interest in deriving the quantum formalism and the set of quantum correlations from simple axioms. In this paper, we provide a step-by-step derivation of the quantum formalism that tackles both these problems…
Contextuality is widely regarded as a hallmark of quantum information, yet its structural origin is often obscured by probabilistic or operational formulations. In this work, we show that non-distributive orthomodular structure need not be…
Finite-dimensional Quantum Mechanics can be geometrically formulated as a proper classical-like Hamiltonian theory in a projective Hilbert space. The description of composite quantum systems within the geometric Hamiltonian framework is…
Sums play a prominent role in the formalisms of quantum mechanics, be it for mixing and superposing states, or for composing state spaces. Surprisingly, a conceptual analysis of quantum measurement seems to suggest that quantum mechanics…
Due to the existence of incompatible observables, the propositional calculus of a quantum system does not form a Boolean algebra but an orthomodular lattice. Such lattice can be realised as a lattice of subspaces on a real, complex or…
Any quantum-mechanical system possesses a U(1) gerbe naturally defined on configuration space. Acting on Feynman's kernel exp(iS/h), this U(1) symmetry allows one to arbitrarily pick the origin for the classical action S, on a…
Rewriting logic is naturally concurrent: several subterms of the state term can be rewritten simultaneously. But state terms are global, which makes compositionality difficult to achieve. Compositionality here means being able to decompose…
A semantic embedding of (constant domain) quantified conditional logic in classical higher-order logic is presented.
We propose a type-theoretic framework for describing and proving properties of quantum computations, in particular those presented as quantum circuits. Our proposal is based on an observation that, in the polymorphic type system of Coq,…
The inherent difficulty in talking about quantum decoherence in the context of quantum cosmology is that decoherence requires subsystems, and cosmology is the study of the whole Universe. Consistent histories gave a possible answer to this…
General relativity required the abandonment of Euclidean geometry. Here we show that quantum theory requires the abandonment of classical logic. We show that the Hilbert space representation of quantum theory is logically inevitable. There…
The basic premise of Quantum Mechanics, embodied in the doctrine of wave-particle duality, assigns both, a particle and a wave structure to the physical entities. The classical laws describing the motion of a particle and the evolution of a…
Quantum mechanics emerged as the result of a successful resolution of stringent empirical and profound conceptual conflicts within the development of atomic physics at the beginning of the last century. At first glance, it seems to be…
Previously we have shown that the topos approach to quantum theory of Doering and Isham can be generalised to a class of categories typically studied within the monoidal approach to quantum theory of Abramsky and Coecke. In the monoidal…
In categorical quantum mechanics, classical structures characterize the classical interfaces of quantum resources on one hand, while on the other hand giving rise to some quantum phenomena. In the standard Hilbert space model of quantum…
We survey several problems related to logical aspects of quantum structures. In particular, we consider problems related to completions, decidability and axiomatizability, and embedding problems. The historical development is described, as…
In this paper we present the fundamentals of the so-called algebraic approach to propositional quantum logics. We define the set of formulas describing quantum reality as a free algebra freely generated by the set of quantum propositional…