相关论文: Sheaf Logic, Quantum Set Theory and the Interpreta…

In this thesis we use the language of sheaf theory in order to develop a deeper understanding of some of the fundamental differences - such as entanglement, contextuality and non-locality - between quantum and classical physics. We first…

Quantum measurement is commonly posed as a dynamical tension between linear Schr\"odinger evolution and an ad hoc collapse rule. I argue that the deeper conflict is logical: quantum theory is inherently contextual, whereas the classical…

The sheaf-theoretic structure is useful in classifying no-go theorems related to non-locality and contextuality. It provides a new point of view different from conventional formularization of quantum mechanics. First, we examine a…

We study sheaves in the context of a duality theory for lattice structure endowed with extra operations, and in the context of forcing in a topos. Using Sheaf duality theory of Comer for cylindric algebras, we give a representation theorem…

An introduction is given to the logic of sheaves of structures and to set theoretic forcing constructions based on this logic. Using these tools, it is presented an alternative proof of the independence of the Continuum Hypothesis; which…

In the tradition of toy models of quantum mechanics in vector spaces over finite fields (e.g., Schumacher and Westmoreland's "modal quantum theory"), one finite field stands out, 2, since vectors over 2 have an interpretation as natural…

In 1981, Takeuti introduced quantum set theory as the quantum counterpart of Boolean valued models of set theory by constructing a model of set theory based on quantum logic represented by the lattice of closed subspaces in a Hilbert space…

We introduce a foundational sheaf theoretical scheme for the comprehension of quantum event structures, in terms of localization systems consisting of Boolean coordinatization coverings induced by measurement. The scheme is based on the…

Algebraic quantum field theory, or AQFT for short, is a rigorous analysis of the structure of relativistic quantum mechanics. It is formulated in terms of a net of operator algebras indexed by regions of a Lorentzian manifold. In several…

Gaisi Takeuti introduced Boolean valued analysis around 1974 to provide systematic applications of Boolean valued models of set theory to analysis. Later, his methods were further developed by his followers, leading to solving several open…

This paper deals with the foundations of quantum mechanics. We start by outlining the characterisation, due to Birkhoff and Von Neumann, of the logical structures of the theories of classical physics and quantum mechanics, as boolean and…

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…

We use the mathematical language of sheaf theory to give a unified treatment of non-locality and contextuality, in a setting which generalizes the familiar probability tables used in non-locality theory to arbitrary measurement covers; this…

A recently proposed algebraic representation of the causal set model of the small-scale structure of space-time of Sorkin et al. is briefly reviewed and expanded. The algebraic model suggested, called quantum causal set, is physically…

The problem of introducing a dependence of elements of quantum group on classical parameters is considered. It is suggested to interpret a homomorphism from the algebra of functions on quantum group to the algebra of sections of a sheaf of…

Presheaf models provide a formulation of labelled transition systems that is useful for, among other things, modelling concurrent computation. This paper aims to extend such models further to represent stochastic dynamics such as shown in…

We consider some generalization of the theory of quantum states, which is based on the analysis of long standing problems and unsatisfactory situation with the possible interpretations of quantum mechanics. We demonstrate that the…

Temporal logics stands for a widely adopted family of formalisms for the verification of computational devices, enriching propositional logics by operators predicating on the step-wise behaviour of a system. Its quantified extensions allow…

We consider some generalization of the theory of quantum states and demonstrate that the consideration of quantum states as sheaves can provide, in principle, more deep understanding of some well-known phenomena. The key ingredients of the…

For the first time it is shown that the logic of quantum mechanics can be derived from Classical Physics. An orthomodular lattice of propositions, characteristic of quantum logic, is constructed for manifolds in Einstein's theory of general…